Hi! My masters student Luc has offered to give us a primer on virtual equipments, including recent work of Arkor and McDermott on cocompletions in formal category theory. It will be at 10:30 in B107 and on BBB at the usual link (https://bbb.lipn.univ-paris13.fr/b/rog-vao-uwm-s2j) Next week at the same time and place, Damiano will give us a second part of his complexity theory talk from last week. See you there! Morgan