Calgary Mathematics & Philosophy Lecture: Steve Awodey
- Date: 10/02/2014
- Time: 15:30
Steve Awodey, Carnegie Mellon University
University of Calgary
Univalence as a New Principle of Logic
It is often convenient or useful in mathematics to treat isomorphic structures as the same. The Univalence Axiom for the foundations of mathematics elevates this idea to a foundational principle in the setting of Homotopy Type Theory. It states, roughly, that isomorphic structures can be identified. In his talk, Prof. Awodey will explain this principle and how it can be taken as an axiom, and explore the motivations and consequences, both mathematical and philosophical, of making such an assumption.
Location: ENA 101 (TBC)
Lecture at 3:30 pm with reception in MS 461 (Math Department Lounge) following. Everyone welcome.
The is the inagural lecture of the Calgary Mathematics & Philosophy Lecture Series