Accessible aspects of 2-category theory
From MaRDI portal
Publication:2200941
DOI10.1016/j.jpaa.2020.106519zbMath1451.18015arXiv2003.06375OpenAlexW3082642538MaRDI QIDQ2200941
Publication date: 24 September 2020
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2003.06375
Accessible and locally presentable categories (18C35) 2-categories, bicategories, double categories (18N10)
Related Items
Flat vs. filtered colimits in the enriched context, Virtual concepts in the theory of accessible categories, Accessible \(\infty \)-cosmoi, On \(\infty\)-cosmoi of bicategories, Adjoint functor theorems for homotopically enriched categories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Enriched weakness
- Enhanced 2-categories and limits for lax morphisms
- Generalized sketches as a framework for completeness theorems. I-III
- Algebraic models for higher categories
- On combinatorial model categories
- Homotopy-theoretic aspects of 2-monads
- Purity in algebra
- Icons
- Coherence for bicategories and indexed categories
- Two-dimensional monad theory
- Flexible limits for 2-categories
- Formal category theory: Adjointness for 2-categories
- Codescent objects and coherence
- A Quillen model structure for 2-categories
- On semiflexible, flexible and pie algebras
- Equipping weak equivalences with algebraic structure
- The 2-category theory of quasi-categories
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Yoneda structures from 2-toposes
- Two-dimensional models of type theory
- A characterization of pie limits
- Accessible Categories: The Foundations of Categorical Model Theory
- Enriched accessible categories
- Sheafifiable homotopy model categories
- Iterated algebraic injectivity and the faithfulness conjecture
- Higher Topos Theory (AM-170)
- Understanding the small object argument
