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 2019Location:Hempfield High School, Room 213Speaker:Emily Riehl, Johns Hopkins UniversityTitle:Homotopy types as a foundation for mathematicsAbstract: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.

- Hempfield High School on Google Maps
- (Ancient verbal) directions to Hempfield High School
- Coordinator Ron Umble

- Chair Barbara Nimershiem

- Webmaster David W. Lyons