Jonathan Gallagher

Date: August 16, 2018

Time: 15:00-16:00

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.