The tripleableness theorem

Publication date 6 January 2026

Published in Reprints in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.tac.mta.ca/tac/reprints/articles/31/tr31.pdf

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Review text

About 1965, it was urgent to decide how to characterize the category of algebras over a monad. \textit{F. E. J. Linton} [Proc. Conf. Categor. Algebra 1965, 84--94 (1966; Zbl 0201.35003)] treated the case for monads in Set, and then Beck established his theorem characterizing algebras in general. Beck's idea was exhibited in full detail by Mac Lane's pioneering book on category theory [\textit{S. Mac Lane}, Categories for the working mathematician. New York etc.: Springer-Verlag (1971; Zbl 0232.18001), Chapter VI, \S 7], but Beck himself only presented the idea in a conference in 1966 without publishing it. His idea is finally published in the TAC reprint series thanks to Nathanael Arkov's great effort inclusive of typing it up in \LaTeX.

Cited in

(1)

A recognition criterion for Lax-idempotent pseudomonads

This page was built for publication: The tripleableness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6878258)