Category Theory Seminar
Michaelmas 2013

Meetings are held at 2.15pm on Tuesdays in Room MR5 of the CMS (Down the stairs beside the reception at the CMS). Part III students are particularly welcome.

Tue, 15 Oct 2013 14:15 in MR5, Centre for Mathematical Sciences

Zhen Lin Low, DPMMS
The homotopy bicategory of (∞, 1)-categories

Tue, 22 Oct 2013 14:15 in MR5, Centre for Mathematical Sciences

John Power, Bath
From logic programming to coalgebra; from coalagebra to coalgebraic logic programming

Tue, 29 Oct 2013 14:15 in MR5, Centre for Mathematical Sciences

Jonas Frey, Cambridge
A factorization of constant object functors

Tue, 05 Nov 2013 14:15 in MR5, Centre for Mathematical Sciences

Jiří Rosický, Brno
Towards categorical model theory

Tue, 12 Nov 2013 14:15 in MR5, Centre for Mathematical Sciences

Dany Majard, Brno
The homsets of 2-internalization

Tue, 19 Nov 2013 14:15 in MR5, Centre for Mathematical Sciences

Tamara von Glehn, DPMMS
A functional interpretation of type theory

Tue, 26 Nov 2013 14:15 in MR5, Centre for Mathematical Sciences

Paige North, DPMMS
Title to be confirmed

Tue, 03 Dec 2013 14:15 in MR5, Centre for Mathematical Sciences

John Bourke, Brno
What are accessible algebraic weak factorisation systems generated by?



Generated from Category Theory Seminar at talks.cam on Tue 31 Dec 2013 02:33:02 GMT