أرسل هذا في رسالة قصيرة: The pebbling comonad in finite model theory