![[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)
John Power (University of Bath)
Tuesday 21 October 2008, 14:15-15:45
Generalising Lawvere theories to an axiomatically defined base
- đ¤ Speaker: John Power (University of Bath)
- đ Date & Time: Tuesday 21 October 2008, 14:15 - 15:45
- đ Venue: MR9, Centre for Mathematical Sciences
Abstract
We generalise the correspondence between Lawvere theories and finitary monads on Set in two ways. First, we allow our theories to be enriched in a category V that is locally finitely presentable as a symmetric monoidal closed category: symmetry is convenient but not necessary. And second, we allow the arities of our theories to be finitely presentable objects of a locally finitely presentable V-category A. We extend the correspondence for ordinary Lawvere theories to one between such generalised Lawvere theories and finitary V-monads on A. A leading example of the utility of this generalisation is given by the generalised Lawvere theory on the ordinary category Cat for which the models are all small cartesian closed categories.
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
- MR9, Centre for Mathematical Sciences
- ndb35's list
- School of Physical Sciences
- yk373's list
Note: Ex-directory lists are not shown.