Weak model categories in classical and constructive mathematics
From MaRDI portal
Publication:3294961
zbMath1445.55013arXiv1807.02650MaRDI QIDQ3294961
Publication date: 29 June 2020
Full work available at URL: https://arxiv.org/abs/1807.02650
Abstract and axiomatic homotopy theory in algebraic topology (55U35) Other constructive mathematics (03F65) Topological categories, foundations of homotopy theory (55U40) Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) ((infty, n))-categories and ((infty,infty))-categories (18N65)
Related Items
Combinatorial and accessible weak model categories ⋮ Vopěnka's principle in \(\infty\)-categories ⋮ Towards a constructive simplicial model of Univalent Foundations ⋮ The Gray tensor product for 2-quasi-categories ⋮ Non-unital polygraphs form a presheaf category
Cites Work
- The HELP-lemma and its converse in Quillen model categories
- Left determined model structures for locally presentable categories
- On left and right model categories and left and right Bousfield localizations
- Mapping spaces in quasi-categories
- Weak complicial sets. I: Basic homotopy theory
- Complicial sets, an overture
- Degeneracies in quasi-categories
- Théories homotopiques dans les topos. (Homotopy theories in topoi)
- On semisimplicial sets satisfying the Kan condition
- Reedy categories and the \(\varTheta\)-construction
- A Kripke model for simplicial sets
- Equipping weak equivalences with algebraic structure
- Homotopical algebra
- Higher Topos Theory (AM-170)
- Understanding the small object argument
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item