The finitary monad-Lawvere theory correspondence
John Power ( University of Bath )
Extending work of Garner on base Set, we give a new account, using enriched category theory, of the correspondence, established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable category: the passage from a finitary monad to the corresponding Lawvere theory is exhibited as a free completion of an enriched category under a class of absolute colimits. The extension from base Set to an arbitrary locally finitely presentable category requires enrichment over a bicategory, rather than a monoidal category. The talk will focus on the definitions and constructions rather than upon the proof.
(joint with Richard Garner)