Accessible aspects of 2-category theory
From MaRDI portal
Publication:2200941
Abstract: Categorical structures and their pseudomaps rarely form locally presentable 2-categories in the sense of Cat-enriched category theory. However, we show that if the categorical structure in question is sufficiently weak (such as the structure of monoidal, but not strict monoidal, categories) then the 2-category in question is accessible. Furthermore, we explore the flexible limits that such 2-categories possess and their interaction with filtered colimits.
Categorical structures and their pseudomaps rarely form locally presentable \(2\)-categories in the sense of \(\mathbf{Cat}\)-enriched category theory. However, the author shows that if the categorical structure in question is sufficiently weak (such as the structure of monoidal, but not strict monoidal, categories) then the \(2\)-category in question is accessible. Furthermore, he explores the flexible limits that such \(2\)-categories possess and their interaction with filtered colimits.
Recommendations
- The 2-category theory of quasi-categories
- Homotopy theories of 2-categories
- scientific article; zbMATH DE number 426306
- Cohomology theory in 2-categories
- Accessible Categories: The Foundations of Categorical Model Theory
- 2-Dimensional Categories
- \(K\)-theory for 2-categories
- scientific article; zbMATH DE number 1740252
- scientific article; zbMATH DE number 4063333
- Classification theory for accessible categories
Cites work
- A characterization of pie limits
- A Quillen model structure for 2-categories
- Accessible Categories: The Foundations of Categorical Model Theory
- Algebraic models for higher categories
- Codescent objects and coherence
- Coherence for bicategories and indexed categories
- Enhanced 2-categories and limits for lax morphisms
- Enriched accessible categories
- Enriched weakness
- Equipping weak equivalences with algebraic structure
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Flexible limits for 2-categories
- Formal category theory: Adjointness for 2-categories
- Generalized sketches as a framework for completeness theorems. I-III
- Higher Topos Theory (AM-170)
- Homotopy-theoretic aspects of 2-monads
- scientific article; zbMATH DE number 3855352 (Why is no real title available?)
- scientific article; zbMATH DE number 3950781 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1463530 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 269628 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- scientific article; zbMATH DE number 2236038 (Why is no real title available?)
- Icons
- Iterated algebraic injectivity and the faithfulness conjecture
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- On combinatorial model categories
- On semiflexible, flexible and pie algebras
- Purity in algebra
- Sheafifiable homotopy model categories
- The 2-category theory of quasi-categories
- Two-dimensional models of type theory
- Two-dimensional monad theory
- Understanding the small object argument
- Yoneda structures from 2-toposes
Cited in
(12)- Class-locally presentable and class-accessible categories
- On -cosmoi of bicategories
- Adjoint functor theorems for homotopically enriched categories
- Flat vs. filtered colimits in the enriched context
- Virtual concepts in the theory of accessible categories
- Accessible \(\infty \)-cosmoi
- 2-Dimensional Categories
- scientific article; zbMATH DE number 5934776 (Why is no real title available?)
- Cartesian double theories: a double-categorical framework for categorical doctrines
- Bi-accessible and bipresentable 2-categories
- Products in double categories, revisited
- Internal 1-topoi in 2-topoi
This page was built for publication: Accessible aspects of 2-category theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200941)