Manchester Logic Seminar
Manchester Logic Seminar, University of Manchester, Manchester, United Kingdom
I was invited to speak about my work on two-dimensional models of linear logic, and I have also contributed a talk on joint work with Calum Hughes on the elementary theory of the $2$-category of small categories.