The Constructive Kan–Quillen Model Structure: Two New Proofs

DOI10.1093/QMATH/HAAB057OpenAlexW4242866892WikidataQ113817898 ScholiaQ113817898MaRDI QIDQ5871367FDOQ5871367

Authors: Nicola Gambino, Karol Szumiło, Christian Sattler 

Publication date: 19 January 2023

Published in: The Quarterly Journal of Mathematics (Search for Journal in Brave)

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

Recommendations

• Another approach to the Kan-Quillen model structure
• Towards a constructive simplicial model of Univalent Foundations
• Weak model categories in classical and constructive mathematics
• Non-constructivity in Kan simplicial sets
• Functional Kan simplicial sets: non-constructivity of exponentiation

Mathematics Subject Classification ID

Combinatorics (05-XX) Quantum theory (81-XX)

Cited In (5)

• Another approach to the Kan-Quillen model structure
• The constructive Kan-Quillen model structure: two new proofs
• The effective model structure and \(\infty\)-groupoid objects
• Towards a constructive simplicial model of Univalent Foundations
• Compatible weak factorization systems and model structures

This page was built for publication: The Constructive Kan–Quillen Model Structure: Two New Proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5871367)