I have been wondering lately what makes simplicial sets 'tick'.

Edited

The category $\Delta$can be viewed as the category of standard $n$-simplices and order preserving simplicial maps. The goal of simplicial sets is to build spaces out of these building blocks by gluing, and allow maps to be defined simplex by simplex, so it makes sense to take the free cocompletion of $\Delta$, the presheaf category $[\Delta^{op},\mathbf{Set}]$. The realisation functor $R : \Delta\to \mathbf{Top}$ can be readily extended to the cocompletion, so as to make $\hat{R}$ preserve colimits.

So my questions are:

• How do we intuitively understand why $\hat{R}$ preserves finite products? (I understand that there are some subtleties with $k$-ification)
• What makes $\Delta$ special in this way, that fails for say $\Gamma=\mathbf{FinSetSkel}$, ie. "symmetric simplicial sets"?
• What is your philosophy of simplicial sets?