Category Theory Seminar
Summer 2011
Meetings are held at 2.15pm on Tuesdays in Room MR3 of the CMS (Down the stairs beside the reception at the CMS). Part III students are particularly welcome.
Fri, 01 Jul 2011 14:15 in MR13, Centre for Mathematical Sciences
Chris Kapulkin, University of Pittsburgh
Homotopy Type Theory and Univalent Foundations of Mathematics III
Thu, 15 Sep 2011 14:15 in MR3, Centre for Mathematical Sciences
Steve Lack, Macquarie University, Australia
Twisting Structures
Generated from Category Theory Seminar at talks.cam on Fri 30 Sep 2011 02:33:01 BST