Analytic monads are monads on Set that correspond to operads in Set.
More precisely, an operad in Set induces a monad on Set:
Such a monad is equipped with a canonical weakly cartesian natural transformation to the monad arising from the commutative operad.
Finitary monads correspond to algebraic theories, and the analytic monads correspond to algebraic theories that are “linear regular”, that is to say, they can be presented using only equations where the same variables appear on both sides and exactly once on each side (see e.g. SzawielZawadowski).
A theorem of Joyal states that there is a monoidal equivalence? between the monoidal category of endofunctors that admits a weakly cartesian natural transformation to and the monoidal category of species, i.e., symmetric sequences in Set with the substitution product.
In particular, the category of analytic monads on Set is equivalent to the category of operads in Set.
The correspondence carries over to colored operads (with a set of colors ) if we use the slice category instead of Set.
A similar correspondence can be established for nonsymmetric operads?, except that we must include the data of a cartesian (not weakly cartesian) transformation to the monad of the associative operad, which is no longer unique.
See Example 4.2.14 in Leinster’s book.
The correspondence generalizes to (∞,1)-categories, with some statements becoming more elegant. See Gepner–Haugseng–Kock.
André Joyal, Foncteurs analytiques et espèces de structures, Combinatoire énumérative (Montréal/Québec, 1985), Lecture Notes in Mathematics 1234 (1986), 126-159. doi.
Mark Weber, Generic morphisms, parametric representations and weakly Cartesian monads, Theory Appl. Categ. 13 (2004), 191–234.
Tom Leinster, Higher Operads, Higher Categories, London Mathematical Society Lecture Note Series 298 (2004), doi.
David Gepner, Rune Haugseng, Joachim Kock, ∞-Operads as Analytic Monads, arXiv:1712.06469.
Stanislaw Szawiel? and Marek Zawadowski?, Theories of analytic monads, Math. Struct. Comp. Sci. 24 (2014). arxiv:1204.2703
Last revised on October 12, 2022 at 12:53:11. See the history of this page for a list of all contributions to it.