Calgary Mathematics & Philosophy Lecture: Steve Awodey

  • Date: 10/02/2014
  • Time: 15:30
Lecturer(s):

Steve Awodey, Carnegie Mellon University

 

 

 

Location: 

University of Calgary

Topic: 

Univalence as a New Principle of Logic

Description: 

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.

Other Information: 

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

Sponsor: