2003/04/21 by Eugenia Cheng, Cheng, Eugenia
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT
paper · pdf · doi:10.48550/arxiv.math/0304279
31 pages
arxiv created 2003/04/21 · openalex publication_date 2003/04/21 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (EQ,TQ) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the `free operad' monad construction on suitable monads. We use this to give an explicit description of the relationship between Baez-Dolan and Leinster opetopes.