![School of Mathematics Event](/sites/default/files/styles/two_column_medium/public/2019-09/sm_default.jpg?itok=gMvWynkh)
Mathematical Conversations
Synthetic homotopy theory: going beyond set-level mathematics
In addition to offering a formal system for doing ordinary (or "set-level") mathematics, Vladimir Voevodsky’s Univalent Foundations also suggest a new way of studying homotopy theory, called "synthetic homotopy theory".
I will show how synthetic homotopy theory emerges from the foundations of mathematics, and contrast it with set-level homotopy theory.
Date & Time
March 14, 2018 | 6:00pm – 7:00pm
Location
Dilworth RoomSpeakers
Affiliation
Member, School of Mathematics