Ben MacAdam

Date: May 1, 2020

Time: 1:00PM

Location: Zoom (email benjamin . macadam at ucalgary for details)

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)