Steve Awodey’s talk in the Calgary Mathematics & Philosophy lecture series (“Univalence as a New Principle of Logic” aka “HoTT for Philosophers”) is now up on mathtube.org.
Steve Awodey’s talk in the Calgary Mathematics & Philosophy lecture series (“Univalence as a New Principle of Logic” aka “HoTT for Philosophers”) is now up on mathtube.org.