# Category Theory Seminar

Lent 2012

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.

#### Thu, 12 Jan 2012 14:15 in MR5, Centre for Mathematical Sciences

Chris Heunen, Oxford

Characterizations of categories of commutative C*-subalgebras

#### Tue, 31 Jan 2012 14:15 in MR5, Centre for Mathematical Sciences

Richard Steiner, Glasgow

Omega-categories in terms of chain complexes

#### Tue, 07 Feb 2012 14:15 in MR5, Centre for Mathematical Sciences

Filip Bar

Applying Category Theory to conceptual questions in the foundations of Geometric Algebra

#### Tue, 14 Feb 2012 14:15 in MR5, Centre for Mathematical Sciences

Sam Staton, Cambridge

Parameterized algebraic theories and computational effects

#### Tue, 21 Feb 2012 14:15 in MR5, Centre for Mathematical Sciences

Pierre Clairambault, Cambridge

Isomorphisms of types in the presence of higher-order references

#### Tue, 28 Feb 2012 14:15 in MR5, Centre for Mathematical Sciences

Eugenia Cheng, Sheffield

Multivariable adjunctions and mates

#### Tue, 28 Feb 2012 15:00 in MR5, Centre for Mathematical Sciences

Richard Garner, Macquarie University, Australia

Restriction categories as enriched categories

#### Tue, 06 Mar 2012 14:15 in MR5, Centre for Mathematical Sciences

Jaap van Oosten, Utrecht

Classical Realizability

#### Tue, 13 Mar 2012 14:15 in MR5, Centre for Mathematical Sciences

Nathan Bowler, Hamburg

Barren structures and badly behaved monads on the category of sets.

Generated from *Category Theory Seminar* at talks.cam on Sat 31 Mar 2012 02:33:02 BST