# The finitary monad-Lawvere theory correspondence

John Power ( University of Bath )

- 14:00 8th March 2019 ( Hilary Term 2019 )Lecture Theatre B

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)