Archive of Category Theory
Seminars
Meetings are held at 2.15pm on Tuesdays in Room MR9 of the CMS.
Here is the timetable for this term's seminars. Note that there will be one
seminar on a Thursday (6th March).
For further information contact Eugenia Cheng.

Tuesday January 28
 Nicola Gambino
Heytingvalued interpretations for Constructive Set Theory

Tuesday February 4
 Marcelo Fiore
Category objects as complex numbers

Tuesday February 11
 Martin Hyland
Embedded theorems for closed multicategories

Tuesday February 18
 Toby Kenney
What does it mean to say something is finite?

Tuesday February 25
 Peter Johnstone
The topos of music

Thursday March 6
 John Power
A universal embedding for the higher order structure of computational
effects

Tuesday March 11
 Eugenia Cheng
Pseudodistributive laws
