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

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 pointset topology. Date: Thursday, April 23, 2015 Time: 5:30 pm Location: Wean Hall 8220 Submitted by: Zilin Jiang 