Title: Induction, equality, spaces, types, A_infinity: An introduction to HoTT
Speaker: Prof. Siddhartha Gadgil IISc
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.


Contact: +91 (80) 2293 2711, +91 (80) 2293 2265
E-mail: chairman.math[at]iisc[dot]ac[dot]in