Ben MacAdam

Date: May 1, 2020
Time: 12:00 am - 12:00 am
Location: Zoom (email benjamin . macadam at ucalgary for details)

Title: Microlinear Lawvere theories

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)