![[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)
Paul Levy (University of Birmingham)
Tuesday 12 February 2019, 14:15-15:15
Locally graded categories
- đ¤ Speaker: Paul Levy (University of Birmingham)
- đ Date & Time: Tuesday 12 February 2019, 14:15 - 15:15
- đ Venue: MR4, Centre for Mathematical Sciences
Abstract
This talk has two aims.
Firstly to introduce the notion of locally graded category, which generalizes that of enriched category, actegory and op-actegory. And the notion of locally indexed category, which is equivalent in the cartesian case to locally graded category.
Secondly to use these notions to give a cleaner categorical semantics of call-by-push-value (a form of lambda-calculus with computational effects) than the one I previously presented. It’s an improvement because it allows an apparently complicated equivalence (between two notions of adjunction) to be decomposed into simple parts.
This all builds on work of Wood, Egger-Mogelberg-Simpson and Mellies.
I will begin the talk with two pieces of background, that may be of independent interest:
(i) terminology for dealing with size issues
(ii) the notions of left module, right module and bimodule (aka profunctor) and some properties.
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
- MR4, Centre for Mathematical Sciences
- ndb35's list
- School of Physical Sciences
- yk373's list
Note: Ex-directory lists are not shown.