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