Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Graduate Seminar

Clive Newstead
Carnegie Mellon University
Title: It's getting HoTT in here

Abstract: A connection was recently discovered between topology and logic: the same abstract structure arising in the homotopy theory of topological spaces also arises from proofs of identity in type theory. What results is a theory called homotopy type theory (or HoTT). Classical mathematics can be developed in HoTT by essentially ignoring this added logical structure; but the new structure provides a natural setting for synthetic homotopy theory and has a number of interesting consequences. Knowledge of neither type theory nor homotopy theory is assumed, though you should know some point-set topology.

Date: Thursday, April 23, 2015
Time: 5:30 pm
Location: Wean Hall 8220
Submitted by:  Zilin Jiang