Abstract: We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a canonical model structure in which the weak equivalences are the equivalences; we use these to construct more interesting model structures on 2-categories, including a model structure on the 2-category of algebras for a 2-monad T, and a model structure on a 2-category of 2-monads on a fixed 2-category K.
Recommendations
Cited in
(43)- Model structures on the category of small double categories
- Two-dimensional monad theory
- String diagrams for traced and compact categories are oriented 1-cobordisms
- How strict is strictification?
- On semiflexible, flexible and pie algebras
- Skew structures in 2-category theory and homotopy theory
- A colimit decomposition for homotopy algebras in Cat
- On -cosmoi of bicategories
- Adjoint functor theorems for homotopically enriched categories
- Accessible aspects of 2-category theory
- Equipping weak equivalences with algebraic structure
- Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads
- Monoidal algebraic model structures
- Two-dimensional monadicity
- Yoneda structures from 2-toposes
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Homotopy cooperads
- scientific article; zbMATH DE number 4189879 (Why is no real title available?)
- A 2-categories companion
- Homotopy limits for 2-categories
- Centers and homotopy centers in enriched monoidal categories
- Enriched weakness
- The linear-non-linear substitution 2-monad
- Compact closed categories and \(\Gamma\)-categories
- On Krull-Schmidt bicategories
- An interpretation of dependent type theory in a model category of locally cartesian closed categories
- Symmetric monoidal categories and \Gamma-categories
- Iterated algebraic injectivity and the faithfulness conjecture
- Integration of $2$-term representations up to homotopy via $2$-functors
- A criterion for existence of right‐induced model structures
- Arrow categories of monoidal model categories
- Homotopical categories of logics
- On the ∞$\infty$‐topos semantics of homotopy type theory
- Right Bousfield localization and Eilenberg-Moore categories
- A general theory of self-similarity
- Enhanced 2-categories and limits for lax morphisms
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- Enriched Kleisli objects for pseudomonads
- Invertibility and parity in symmetric monoidal categories
- Coherence for pseudo commutative 2-monads
- Algebraic weak factorisation systems. II: Categories of weak maps.
- Homotopy coherent adjunctions and the formal theory of monads
- The identity type weak factorisation system
This page was built for publication: Homotopy-theoretic aspects of 2-monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847558)
