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.