Weak model categories in classical and constructive mathematics

zbMath1445.55013arXiv1807.02650MaRDI QIDQ3294961

Simon Henry

Publication date: 29 June 2020

Full work available at URL: https://arxiv.org/abs/1807.02650

zbMATH Keywords

simplicial setsconstructive mathematicsmodel categoriescomplicial setssemi-simplicial sets

Mathematics Subject Classification ID

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