Jonathan Gallagher

Date: August 16, 2018
Time: 12:00 am - 12:00 am
Location: ICT 618B
Talk

Title: The differential lambda-calculus: syntax and semantics for differential geometry
Abstract: This talk will introduce semantics for the differential lambda-calculus using tangent categories. We will show how to obtain models of the differential lambda-calculus that stem from differential geometry. We will also explore the coherence required for tangent categories to model the differential lambda-calculus from different points of view.