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

DOI10.1016/J.JPAA.2009.08.011zbMATH Open1227.18006arXivmath/0309336OpenAlexW2161522786MaRDI QIDQ847679FDOQ847679

Authors: Eugenia Cheng 

Publication date: 19 February 2010

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

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.

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

Recommendations

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

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)

Cites Work

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

Cited In (4)

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

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)