An enriched view on the extended finitary monad--Lawvere theory correspondence

Richard Garner, John Power

We give a new account of the correspondence, first established by Nishizawa--Power, between finitary monads and Lawvere theories over an arbitrary locally finitely presentable base…