Title: Induction, equality, spaces, types, A_infinity: An introduction to HoTT
Speaker: Prof. Siddhartha Gadgil
Date: 08 July 2013
Time: 3:00 - 4:00 p.m.
Venue: Lecture Hall III, Department of Mathematics
Homotopy Type Theory (HoTT), developed recently in a large collaboration centered at IAS, Princeton, combines elements from type theory, logic and topology to give alternative foundations of mathematics which are much closer to mathematical practice (useful for Automated Reasoning). HoTT also gives new insights into topology.