Category Theory Seminar
Easter 2010

Meetings are held at 2.15pm on Tuesdays in Room MR9 of the CMS (in B pavilion at the back of central core). Part III students are particularly welcome.

Thu, 20 May 2010 10:00 in MR4, Centre for Mathematical Sciences

Thomas Ehrhard, Université Paris Diderot
The Scott model of Linear Logic is the extensional collapse of its relational model

Tue, 25 May 2010 14:15 in MR2, Centre for Mathematical Sciences

Marcelo Fiore (University of Cambridge)
Second-Order Universal Algebra, Equational Logic, and Algebraic Theories.

Mon, 31 May 2010 14:15 in MR2, Centre for Mathematical Sciences

Professor Peter Johnstone, DPMMS
Freyd's models for the independence of AC as classifying toposes

Thu, 17 Jun 2010 14:15 in MR9, Centre for Mathematical Sciences

Sergei Soloviev, IRIT, Toulouse
On Varieties of Symmetric Monoidal Closed Categories and Dependency of Categorical Diagrams.



Generated from Category Theory Seminar at talks.cam on Wed 30 Jun 2010 02:33:04 BST