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
(40)- On Krull-Schmidt bicategories
- scientific article; zbMATH DE number 4189879 (Why is no real title available?)
- Accessible aspects of 2-category theory
- A criterion for existence of right‐induced model structures
- How strict is strictification?
- Homotopical categories of logics
- Model structures on the category of small double categories
- Equipping weak equivalences with algebraic structure
- Arrow categories of monoidal model categories
- On the ∞$\infty$‐topos semantics of homotopy type theory
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Right Bousfield localization and Eilenberg-Moore categories
- Integration of $2$-term representations up to homotopy via $2$-functors
- Enhanced 2-categories and limits for lax morphisms
- A colimit decomposition for homotopy algebras in Cat
- Centers and homotopy centers in enriched monoidal categories
- A 2-categories companion
- Compact closed categories and \(\Gamma\)-categories
- Algebraic weak factorisation systems. II: Categories of weak maps.
- The identity type weak factorisation system
- Adjoint functor theorems for homotopically enriched categories
- Homotopy cooperads
- Two-dimensional monad theory
- Two-dimensional monadicity
- On \(\infty\)-cosmoi of bicategories
- Enriched weakness
- Homotopy limits for 2-categories
- Iterated algebraic injectivity and the faithfulness conjecture
- Skew structures in 2-category theory and homotopy theory
- Monoidal algebraic model structures
- The linear-non-linear substitution 2-monad
- Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
- String diagrams for traced and compact categories are oriented 1-cobordisms
- Homotopy coherent adjunctions and the formal theory of monads
- Yoneda structures from 2-toposes
- On semiflexible, flexible and pie algebras
- A general theory of self-similarity
- Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads
- An interpretation of dependent type theory in a model category of locally cartesian closed categories
- Symmetric monoidal categories and $\Gamma$-categories
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)
