Cartesian differential categories as skew enriched categories

Add to your list(s) Download to your calendar using vCal

• Richard Garner (Macquarie University)
• Tuesday 08 June 2021, 10:00-11:30
• Zoom (Meeting ID 926 3105 8994, passcode 345661).

If you have a question about this talk, please contact José Siqueira.

Cartesian differential categories are an abstraction of the category of smooth maps between Euclidean spaces. Their main feature is an operator assigning to each map f:A → B another map Df: A*A—> B called the differential of f, subject to a list of axioms.

In this talk, we explain the slightly surprising fact that cartesian differential categories are actually a kind of enriched category. The enrichment base is the category of k-vector spaces, but the monoidal structure is not the usual one, but rather a skew-monoidal warping of it with respect to a monoidal comonad. The comonad at issue is not ad hoc, but in fact the initial one imbuing k-vector spaces with the structure of a model of intuitionistic differential linear logic.

This is a report on joint work with JS Lemay.

Zoom link: https://maths-cam-ac-uk.zoom.us/j/92631058994?pwd=TlNIMnoxRXJ4YkVpa2VFdUtvbldDZz09

This talk is part of the Category Theory Seminar series.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• School of Physical Sciences
• Zoom (Meeting ID 926 3105 8994, passcode 345661)
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.