Monad interleaving: a construction of the operad for Leinster's weak -categories

DOI10.1016/J.JPAA.2009.08.011MaRDI QIDQ847679zbMATHOpenAlexFDO

Authors Eugenia Cheng

Publication date 19 February 2010

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0309336

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: We show how to "interleave" the monad for operads and the monad for contractions on the category coll of collections, to construct the monad for the operads-with-contraction of Leinster. We first decompose the adjunction for operads and the adjunction for contractions into a chain of adjunctions each of which acts on only one dimension of the underlying globular sets at a time. We then exhibit mutual stability conditions that enable us to alternate the dimension-by-dimension free functors. Hence we give an explicit construction of a left adjoint for the forgetful functor $owclracoll$, from the category of operads-with-contraction to the category of collections. By applying this to the initial (empty) collection, we obtain explicitly an initial operad-with-contraction, whose algebras are by definition the weak $omega$-categories of Leinster.

Recommendations

• A study of Penon weak \(n\)-categories. I: Monad interleaving
• A proof of the existence of Batanin's initial operad
• scientific article; zbMATH DE number 2125641
• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• scientific article; zbMATH DE number 6431490

Cites work

• scientific article; zbMATH DE number 2125641 (Why is no real title available?)
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 3764761 (Why is no real title available?)
• scientific article; zbMATH DE number 1279309 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3389217 (Why is no real title available?)
• A survey of definitions of \(n\)-category
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Descent for monads
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Homotopy invariant algebraic structures on topological spaces
• Milgram's classifying space of a topological group
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• Multiple categories: The equivalence of a globular and a cubical approach
• Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
• On weak higher dimensional categories. I: Part 1
• On weak higher-dimensional categories. I. 2
• Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids
• The algebra of oriented simplexes
• The formal theory of monads
• The geometry of iterated loop spaces
• Weak \(n\)-categories: Opetopic and multitopic foundations.

Cited in

(4)

• A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
• A study of Penon weak \(n\)-categories. I: Monad interleaving
• Monads and distributive laws for Rota-Baxter and differential algebras
• A proof of the existence of Batanin's initial operad

This page was built for publication: Monad interleaving: a construction of the operad for Leinster's weak \(\omega \)-categories

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