Another approach to the Kan-Quillen model structure

DOI10.1007/S40062-019-00247-YMaRDI QIDQ2173527zbMATH OpenOpenAlexWikidataFDO

Authors Sean Moss

Publication date 16 April 2020

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\(\operatorname{Ex}^\infty\) functormodel categorysimplicial sets

Mathematics Subject Classification ID

Homotopical algebra, Quillen model categories, derivators (18N40) Simplicial sets, simplicial objects (18N50) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: By careful analysis of the comparison map from a simplicial set to its image under Kan's ex-infinity functor we obtain a new and combinatorial proof that it is a weak homotopy equivalence. Moreover, we obtain a presentation of it as a strong anodyne extension. From this description we are able to quickly deduce some basic facts about ex-infinity and hence provide a new construction of the Kan-Quillen model structure on simplicial sets, which avoids the use of topological spaces or minimal fibrations.

Review text

``Model categories were introduced in [\textit{D. G. Quillen}, Homotopical algebra. Cham: Springer (1967; Zbl 0168.20903)], in which a main example is \(\mathbf{sSet}\), the category of simplicial sets. The given proof that it is an example is combinatorial but uses the theory of minimal fibrations. There is also a topological approach (e.g., as in [\textit{P. G. Goerss} and \textit{J. F. Jardine}, Simplicial homotopy theory. Basel: Birkhäuser. 431--462 (1999; Zbl 0949.55001)]), where the category of simplicial sets is related to a category of spaces via a nerve-realization adjunction. The author presents a new and combinatorial proof that the embedding of a simplicial set into its image under Kan's \(\mbox{Ex}^\infty\) functor is a weak homotopy equivalence and obtains its presentation as a strong anodyne extension. Then, a new construction of the Kan-Quillen model structure on simplicial sets, one which avoids the use of topological spaces or minimal fibrations, is provided.

Recommendations

• The Constructive Kan–Quillen Model Structure: Two New Proofs
• scientific article; zbMATH DE number 3863478
• Quasi-modal equivalence of canonical structures
• Model structures and the Oka principle
• An extension of the Kac ring model
• A Quillen model structure for Gray-categories
• Das kanonische Modell eines Kugelquotienten
• Quillen model structures on the category of graphs
• A step beyond Kemperman's structure theorem

Cites work

• A simplicial approach to stratified homotopy theory
• Homotopical algebra
• scientific article; zbMATH DE number 4045703 (Why is no real title available?)
• scientific article; zbMATH DE number 206022 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Morse theory for cell complexes
• On c.s.s. Complexes
• On the homotopy theory of sheaves of simplicial groupoids
• Simplicial homotopy theory

Cited in

(13)

• On semisimplicial sets satisfying the Kan condition
• Simplicial sets in topology, category theory, and beyond
• Functional Kan simplicial sets: non-constructivity of exponentiation
• ex-infinity
• Calculus of functors and model categories. II
• scientific article; zbMATH DE number 7613127 (Why is no real title available?)
• A simplicial approach to stratified homotopy theory
• Non-constructivity in Kan simplicial sets
• The Constructive Kan–Quillen Model Structure: Two New Proofs
• Weak Cartesian properties of simplicial sets
• Classifying spaces of infinity-sheaves
• Thomason-type model structures on simplicial complexes and graphs
• Fibrations of simplicial sets

Describes a project that uses

Uses Software

• GitHub

This page was built for publication: Another approach to the Kan-Quillen model structure

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