The Calgary Peripatetic Seminar
University of Calgary's seminar on logic, mathematics, and computer science
Title: Microlinear Lawvere theories
Abstract:
In this talk we introduce Microlinear Lawvere theories, and show that differential objects in cartesian tangent categories are an example. One of the more striking applications of this theory is that every tangent category embeds into the Eilenberg-Moore category of a tensor differential category.
(Joint work with Jonathan Gallagher and Rory Lucyshyn-Wright)
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