UF IAS 2012 Archive UF Event in February

Joyal’s 70th Birthday

February 25

West Bldg Lecture Hall


10 - 11: Vladimir Voevodsky, A type system with two kinds of identity types

11 - 12: Peter LeFanu Lumsdaine, Connectedness and the Freudenthal suspension theorem

12 - 2: Lunch

2 - 3: Joachim Kock, Joyal theorems for homotopical species

3 - 4: Tea

4 - 5: Marcelo Aguiar: Rings and near rings in 2-monoidal categories

5 - 6: Terry Bisson, Braid extended power operations in topology

Created on April 19, 2018 at 21:16:58 by Univalent foundations special year 2012