Type theories and algebraic theories.
|
Tue, 06/03/2012 17:00 |
Dr Kobi Kremnitzer (Oxford) |
Algebra Seminar  |
L2 |
| 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. | |||