Search U Cam DPMMS Home
University of Cambridge Home Department of Pure Mathematics
and Mathematical Statistics
DPMMS  > Research > Category Theory Seminar Lent 03

Category Theory Seminars for Lent Term 2003

  • 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
    Heyting-valued 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
    Pseudo-distributive laws