Seminar series
Date
Tue, 06 Mar 2012
17:00
17:00
Location
L2
Speaker
Dr Kobi Kremnitzer
Organisation
Oxford
By recent work of Voevodsky and others, type theories are now considered as a candidate
for a homotopical foundations of mathematics. I will explain what are type theories using the language
of (essentially) algebraic theories. This shows that type theories are in the same "family" of algebraic
concepts such as groups and categories. I will also explain what is homotopic in (intensional) type theories.