TGTS Tetrahedral Geometry/Topology Seminar

Sponsored by Elizabethtown College, Franklin and Marshall College,
Lebanon Valley College, and Millersville University

Speakers 2019-20

  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.

Next Talk

    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.

Past Seminars

Directions and Contact Information