[Alta-Logic] Peripatetic Seminar

[Benjamin MacAdam]

Hi Everyone,

Jonathan’s talk has been postponed, so I will fill in.

Speaker: Ben MacAdam
Title: Microlinear Lawvere theories
Time: 1:00 PM, Calgary time on Zoom
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)

-Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200430/63a94f2c/attachment.html>