University of Calgary Peripatetic Seminar: Ben MacAdam (Online)

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)