Kerodon

Remark 11.5.0.18. Each of our proofs of *** gives additional information that the other does not. Our first proof shows that every simplicial set $S_{\bullet }$ can be built as a colimit of standard simplices in a very specific way: namely, by forming pushouts along boundary inclusions $\operatorname{\partial \Delta }^ n \hookrightarrow \Delta ^ n$ (for a more precise assertion, see the proof of Proposition 1.5.5.14). This extra information was used in the proof of Proposition 1.2.3.4 to show that the geometric realization $| S_{\bullet } |$ is a CW complex (and not merely a topological space which is colimit of disks). On the other hand, our second proof shows that every simplicial set $S_{\bullet }$ can be built in a single step as the colimit of a diagram of standard simplices (which can be chosen in a specific, canonical way).