Penn Arts & Sciences Logo

Graduate Student Geometry-Topology Seminar

Monday, October 24, 2022 - 4:30pm

Julian Gould



University of Pennsylvania

DRL math lounge

While Homotopy Type Theory has generated much buzz from logicians, computer scientists, type theorists, and cranks on the internet, many pure homotopy theorists remain uninterested. In this talk, I will attempt to change this (at least on a small scale within Penn) by making a philosophical case for why homotopy theorists should care about HoTT.  I will not be assuming you know anything about type theory.