Hi! Tomorrow is a holiday, but in case you feel like doing some category theory anyway, I will be discussing _Quantifiers as adjoints_ with my visitor Aidan Evans tomorrow (Tuesday) morning from 10:30 in B107. I'll activate the BBB (https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j) in case anyone wants to join. For context, Aidan works in descriptive complexity theory, where adding quantifiers to the logic describing a class of words over some alphabet (viewed as finite models of a particular relational theory) allows one to define classes of languages whose recognition problems can be identified with certain complexity classes. I want to know if the quantifiers that he works with can be contextualized as adjoint functors à la Lawvere. It will be an informal meeting, but drop by if you're curious! See you tomorrow, Morgan