The Constructive Kan–Quillen Model Structure: Two New Proofs

DOI10.1093/qmath/haab057OpenAlexW4242866892WikidataQ113817898 ScholiaQ113817898MaRDI QIDQ5871367

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

Mathematics Subject Classification ID

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

Related Items

Towards a constructive simplicial model of Univalent Foundations ⋮ The effective model structure and -groupoid objects

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