Skip to main content
Source Link
Akhil Mathew
  • 25.6k
  • 13
  • 104
  • 204

Is there a high-concept explanation for why "simplicial" leads to "homotopy-theoretic"?

My (limited) understanding is that simplicial methods tend to be used whenever you want some kind of nontrivial homotopy theory -- for instance, to get a nice model structure, you use simplicial sets and not just plain sets; to make $\mathbb{A}^1$-homotopy work, you work with simplicial (pre?)sheaves and not just plain sheaves or schemes; to construct the cotangent complex (which if I understand correctly is a homotopical construction, hopefully a Quillen derived functor on the category of simplicial algebras), you use simplicial commutative rings.

But why does "simplicial" make everything work so well? For instance, a simplicial set is a contravariant functor $\Delta \to \mathbf{Sets}$ for $\Delta$ the simplex category: what is so wonderful about $\Delta$ that allows a model structure (and one, moreover, Quillen equivalent to topological spaces) appear?