Corpus ID: 17423837

Homotopy-theoretic aspects of 2-monads

  title={Homotopy-theoretic aspects of 2-monads},
  author={Stephen Lack},
  journal={Journal of Homotopy and Related Structures},
  • S. Lack
  • Published 2006
  • Mathematics
  • Journal of Homotopy and Related Structures
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… Expand

Paper Mentions

Homotopy Theory of T-algebras over Top-Cat ?
In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct anExpand
Skew structures in 2-category theory and homotopy theory
We study Quillen model categories equipped with a monoidal skew closed structure that descends to a genuine monoidal closed structure on the homotopy category. Our examples are 2-categorical andExpand
A Colimit Decomposition for Homotopy Algebras in Cat
  • John Bourke
  • Mathematics, Computer Science
  • Appl. Categorical Struct.
  • 2014
Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts RosickýExpand
Homotopy limits for 2-categories
  • N. Gambino
  • Mathematics
  • Mathematical Proceedings of the Cambridge Philosophical Society
  • 2008
Abstract We study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagramExpand
Arrow categories of monoidal model categories
We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers aExpand
∞-Categories for the Working Mathematician
homotopy theory C.1. Lifting properties, weak factorization systems, and Leibniz closure C.1.1. Lemma. Any class of maps characterized by a right lifting property is closed under composition,Expand
Two-dimensional monadicity
Abstract The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify overExpand
Equipping weak equivalences with algebraic structure
We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism ofExpand
Enhanced 2-categories and limits for lax morphisms
Abstract We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may orExpand
Homotopy locally presentable enriched categories
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The mainExpand


Two-dimensional monad theory
Abstract We consider a 2-monad T with rank on a complete and cocomplete 2-category, and write T-Alg for the 2-category given the T-algebras, the morphisms preserving the structure to within coherentExpand
A Quillen model structure for Gray-categories
A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-GpdExpand
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
Abstract A right adjoint functor is said to be of descent type if the counit of the adjunction is pointwise a coequalizer. Building on the results of Tholen's doctoral thesis, we give necessary andExpand
Model structures for homotopy of internal categories
The aim of this paper is to describe Quillen model category structures on the category CatC of internal categories and functors in a given finitely complete category C. Several non-equivalent notionsExpand
A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of "category with finite products". To capture such distinctions, we consider on a 2-categoryExpand
Elementary observations on 2-categorical limits
With a view to further applications, we give a self-contained account of indexed limits for 2-categories, including necessary and sufficient conditions for 2-categorical completeness. Many importantExpand
Flexible limits for 2-categories
Many important 2-categories — such as Lex, Fib/B, elementary toposes and logical morphisms, the dual of Grothendieck toposes and geometric morphisms, locally-presentable categories and left adjoints,Expand
Axiomatic homotopy theory for operads
Abstract We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras overExpand
Codescent objects and coherence
Abstract We describe 2-categorical colimit notions called codescent objects of coherence data, and lax codescent objects of lax coherence data, and use them to study the inclusion, T -Alg s →Ps- T -Expand
Cat as a closed model category
© Andrée C. Ehresmann et les auteurs, 1980, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec lesExpand