# 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