Sponsored by Elizabethtown College, Franklin and Marshall College, Lebanon Valley College, and Millersville University
13 September: Jeremy Brazas, West Chester University 11 October: Matthew Stover, Temple University 1 November: Emily Riehl, Johns Hopkins University February: David Lyons, Lebanon Valley College March: TBA April: TBA
TGTS is a regional mathematics seminar/colloquium. We meet at 4:30 p.m. on the first Friday of each month during the academic year (with some exceptions, as noted in the schedule above). The public is cordially invited to attend.
Date: 1 November 2019 Location: Hempfield High School, Room 213 Speaker: Emily Riehl, Johns Hopkins University Title: Homotopy types as a foundation for mathematics Abstract: The Curry-Howard correspondence formalizes an analogy between computer programs and mathematical proofs. This talk will introduce alternative foundations for mathematics animated by this analogy. The basic object is called a type, which can be simultaneously interpreted as something like a set or as something like a mathematical proposition. Homotopy type theory refers to the recent discovery that a type can also be interpreted as something like a topological space. We will discuss the implications of this homotopy theoretic interpretation for the so-called univalent foundations of mathematics.