Awodey’s “HoTT for Philosophers” 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.

Leave a Reply

Your email address will not be published. Required fields are marked *