Lawvere theories, finitary monads and Cauchy-completion (Q2451739): Difference between revisions

The paper considers an enriched analogue of the equivalence (see, e.g., \textit{F. Borceux} [Handbook of categorical algebra. 2: Categories and structures. Encyclopedia of Mathematics and Its Applications. 51. Cambridge: Univ. Press (1994; Zbl 0843.18001)]) between the category \(\mathbf{Mnd}_f(\text\textbf{Set})\) of finitary monads on the category \textbf{Set} of sets and maps, and the category \textbf{Law} of Lawvere theories of \textit{F. W. Lawvere} [Repr. Theory Appl. Categ. 2004, No. 5, 1--121 (2004; Zbl 1062.18004)] (Proposition 5.4 on page 1982). The enrichment is done over the category \(\mathcal{F}\) of finitary endofunctors on \textbf{Set} with its compositional monoidal structure. In particular, every finitary monad on \textbf{Set} and every Lawvere theory is shown to be an \(\mathcal{F}\)-category (Proposition 2.2 on page~1975 and Proposition 4.2 on page 1981, respectively). The enriched setting allows the author to consider two further points: first, to take algebras in categories other than \textbf{Set} as easy as taking models of Lawvere theories in categories with finite powers (Section 6 on pages 1983-1984), and, second, construct left adjoints of algebraic functors from \(\mathcal{F}\)-enriched left Kan extensions (Section 7 on pages 1984-1987). The paper is well written, provides most of its required preliminaries, and will be of use to all those researchers, who are interested in categorical algebra.