Generalising Lawvere theories to an axiomatically defined base

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

• John Power (University of Bath)
• Tuesday 21 October 2008, 14:15-15:45
• MR9, Centre for Mathematical Sciences.

If you have a question about this talk, please contact Richard Garner.

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.

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
• MR9, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.