Another approach to the Kan-Quillen model structure (Q2173527): Difference between revisions

``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.