Quasicategories of frames of cofibration categories
From MaRDI portal
Publication:2014014
DOI10.1007/S10485-015-9422-YzbMath1372.55014arXiv1506.08681OpenAlexW2963301340MaRDI QIDQ2014014
Karol Szumiło, Krzysztof Kapulkin
Publication date: 10 August 2017
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.08681
Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40)
Related Items (10)
Homotopy (pre)derivators of cofibration categories and quasicategories ⋮ Frames in cofibration categories ⋮ Internal languages of finitely complete \((\infty , 1)\)-categories ⋮ Nonexistence of colimits in naive discrete homotopy theory ⋮ Homotopy groups of cubical sets ⋮ Categories of partial equivalence relations as localizations ⋮ Descent theory and mapping spaces ⋮ Exact completion of path categories and algebraic set theory. I: Exact completion of path categories ⋮ The homotopy theory of type theories ⋮ Univalence and completeness of Segal objects
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The HELP-lemma and its converse in Quillen model categories
- Homotopy theory of cocomplete quasicategories
- Mapping spaces in quasi-categories
- Relative categories: another model for the homotopy theory of homotopy theories
- A characterization of simplicial localization functors and a discussion of DK equivalences
- Function complexes in homotopical algebra
- Simplicial localizations of categories
- Calculating simplicial localizations
- Simplicial sets from categories
- Towards an axiomatization of the theory of higher categories
- The theory and practice of Reedy categories
- Catégories dérivables
- A model for the homotopy theory of homotopy theory
- Higher Topos Theory (AM-170)
- Homotopy limits in type theory
- Simplicial homotopy theory
This page was built for publication: Quasicategories of frames of cofibration categories
