![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Tuesday 08 June 2021, 10:00-11:30
Cartesian differential categories as skew enriched categories
- 👤 Speaker: Richard Garner (Macquarie University)
- 📅 Date & Time: Tuesday 08 June 2021, 10:00 - 11:30
- 📍 Venue: Zoom (Meeting ID 926 3105 8994, passcode 345661)
Abstract
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
Series This talk is part of the Category Theory Seminar series.
Included in Lists
- All CMS events
- All Talks (aka the CURE list)
- bld31
- Category Theory Seminar
- CMS Events
- DPMMS info aggregator
- DPMMS lists
- DPMMS Lists
- DPMMS Pure Maths Seminar
- Hanchen DaDaDash
- Interested Talks
- ndb35's list
- School of Physical Sciences
- yk373's list
- Zoom (Meeting ID 926 3105 8994, passcode 345661)
Note: Ex-directory lists are not shown.