Homotopy theory for algebras over polynomial monads

zbMATH Open1368.18006arXiv1305.0086MaRDI QIDQ2963473FDOQ2963473

Clemens Berger, Michael Batanin

Publication date: 14 February 2017

Abstract: We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular, higher operads, properads and PROP's. All these structures can be realised as algebras over polynomial monads. We give a general condition for a polynomial monad which ensures the existence and (relative) left properness of a transferred model structure for its algebras. This condition is of a combinatorial nature and singles out a special class of polynomial monads which we call tame polynomial. Many important monads are shown to be tame polynomial.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Homotopy structures for algebras over a monad
• Polynomial functors and homotopy theory
• Homotopy theory of homotopy algebras
• scientific article; zbMATH DE number 2144714
• Publication:3031642
• Publication:4893211
• Homotopy theories of algebras over operads
• Homotopy theories of algebras over operads
• Homological algebra of homotopy algebras
• Algebraic theories in homotopy theory

zbMATH Keywords

operadsmodel categoriespolynomial monads

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Koszul duality for operads
• The geometry of iterated loop spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Operads
• The geometry of tensor calculus. I
• Axiomatic homotopy theory for operads
• Homotopical algebra
• Algebras and Modules in Monoidal Model Categories
• Higher Topos Theory (AM-170)
• A general coherence result
• Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
• Polynomial Functors and Trees
• Title not available (Why is that?)
• Modular operads
• A Foundation for PROPs, Algebras, and Modules
• A Koszul duality for props
• Homotopy theory of nonsymmetric operads
• Homotopy invariant algebraic structures on topological spaces
• Codescent objects and coherence
• The Eckmann-Hilton argument and higher operads
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Title not available (Why is that?)
• Operads as polynomial 2-monads
• Internal algebra classifiers as codescent objects of crossed internal categories
• Title not available (Why is that?)
• Polynomials in categories with pullbacks
• Title not available (Why is that?)
• Theories of analytic monads
• The Boardman-Vogt resolution of operads in monoidal model categories
• Props in model categories and homotopy invariance of structures
• Operads and motives in deformation quantization
• Operads and PROPs
• Dendroidal sets and simplicial operads
• On the nonexistence of elements of Kervaire invariant one
• Algebraic topology
• A Cartesian presentation of weak \(n\)-categories
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Relative left properness of colored operads
• Higher-dimensional algebra and topological quantum field theory
• On left and right model categories and left and right Bousfield localizations
• Title not available (Why is that?)
• Wellfounded trees in categories
• Homotopy theory of non-symmetric operads. II: Change of base category and left properness
• On the homotopy theory of enriched categories
• Title not available (Why is that?)
• On multiplicative transfer
• Symmetrisation of \(n\)-operads and compactification of real configuration spaces
• Wheeled PROPs, graph complexes and the master equation
• Simplicial homotopy theory
• A Quillen model structure for 2-categories
• Polynomial functors and opetopes
• Enriched functors and stable homotopy theory
• Towards a Thomason model structure on the category of strict \(n\)-categories
• Polynomial functors and polynomial monads
• An operadic proof of Baez-Dolan stabilization hypothesis
• Homotopy of Operads and Grothendieck–Teichmüller Groups
• Locally constant functors
• An \(E_\infty\)-extension of the associahedra and the Tamarkin cell mystery
• Locally constant \(n\)-operads as higher braided operads
• Title not available (Why is that?)
• The framed little 2-discs operad and diffeomorphisms of handlebodies

Cited In (50)

• Left Bousfield localization without left properness
• Bousfield localization and algebras over colored operads
• Whole-grain Petri nets and processes
• Regular patterns, substitudes, Feynman categories and operads
• A criterion for existence of right‐induced model structures
• Faà di Bruno for operads and internal algebras
• Gabriel-Morita theory for excisive model categories
• Categories of graphs for operadic structures
• The enriched Thomason model structure on 2-categories
• Graphs, hypergraphs, and properads
• The equivalence between Feynman transform and Verdier duality
• Operadic categories and duoidal Deligne's conjecture
• Graphical combinatorics and a distributive law for modular operads
• Algebraic Kan extensions along morphisms of internal algebra classifiers
• Categories and orbispaces
• Coextension of scalars in operad theory
• Modular operads and the nerve theorem
• SYMMETRIC OPERADS IN ABSTRACT SYMMETRIC SPECTRA
• Moment categories and operads
• Pushouts of Dwyer maps are \((\infty, 1)\)-categorical
• Labelled cospan categories and properads
• Delooping the functor calculus tower
• Model structures on commutative monoids in general model categories
• Segal conditions for generalized operads
• The incidence comodule bialgebra of the Baez-Dolan construction
• On rectification and enrichment of infinity properads
• Homotopy structures for algebras over a monad
• Kleisli categories, \(T\)-categories and internal categories
• Homotopy in exact categories
• Genuine equivariant operads
• Operads in unstable global homotopy theory
• The action of Young subgroups on the partition complex
• A graphical category for higher modular operads
• An operadic proof of Baez-Dolan stabilization hypothesis
• Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting)
• The homotopy theory of simplicial props
• Polynomial monads and delooping of mapping spaces
• Quillen-Segal algebras and Stable homotopy theory
• On the homotopy theory of equivariant colored operads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Moduli spaces of algebras over nonsymmetric operads
• Feynman categories and representation theory
• Rational motivic path spaces and Kim's relative unipotent Section conjecture
• Admissible replacements for simplicial monoidal model categories
• Comparing localizations across adjunctions
• Algebraic 𝐾-theory of 𝑇𝐻𝐻(𝔽_{𝕡})
• Comprehensive factorisation systems
• Homotopy theory of algebras of substitudes and their localisation
• Deformation theory of cohomological field theories

This page was built for publication: Homotopy theory for algebras over polynomial monads

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