Quasicategories of frames of cofibration categories

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

zbMATH Keywords

quasicategorycofibration categoryfibration categoryquasicategory of frames

Mathematics Subject Classification ID

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

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quasicategories of frames of cofibration categories