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.
Powered by UCalgary
The views, information, or opinions expressed on this site are solely those of the individual(s) involved and do not necessarily represent the position of the University of Calgary as an institution.
Digital Privacy Statement | Privacy Policy | Copyright © 2019