A constructive account of the Kan-Quillen model structure and of Kan's Ex^ functor

MaRDI QIDQ6659941zbMATH OpenFDO

Authors Simon Henry

Publication date 9 January 2025

Published in Cahiers de Topologie et Géométrie Différentielle Catégoriques (Search for Journal in Brave)

zbMATH Keywords

constructive mathematicsmodel categoriessimplicial setsEX\(^\infty\)-functor

Mathematics Subject Classification ID

Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Topological categories, foundations of homotopy theory (55U40) Intuitionistic mathematics (03F55)

This page was built for publication: A constructive account of the Kan-Quillen model structure and of Kan's Ex\(^\infty\) functor

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