1.1.7 The Singular Simplicial Set of a Topological Space
Topology provides an abundant supply of examples of simplicial sets.
Construction 1.1.7.1. Let $X$ be a topological space. We define a simplicial set $\operatorname{Sing}_{\bullet }(X)$ as follows:
To each object $[n] \in \operatorname{{\bf \Delta }}$, we assign the set $\operatorname{Sing}_{n}(X) = \operatorname{Hom}_{\operatorname{Top}}( | \Delta ^ n |, X )$ of singular $n$-simplices in $X$.
To each non-decreasing map $\alpha : [m] \rightarrow [n]$, we assign the map $\operatorname{Sing}_{n}(X) \rightarrow \operatorname{Sing}_{m}(X)$ given by precomposition with the continuous map
\[ | \Delta ^{m} | \rightarrow | \Delta ^{n} | \]
\[ (t_0, t_1, \ldots , t_ m) \mapsto ( \sum _{\alpha (i) = 0} t_ i, \sum _{\alpha (i) = 1} t_ i, \ldots , \sum _{\alpha (i)=n} t_ i). \]
We will refer to $\operatorname{Sing}_{\bullet }(X)$ as the singular simplicial set of $X$. We view the construction $X \mapsto \operatorname{Sing}_{\bullet }(X)$ as a functor from the category of topological spaces to the category of simplicial sets, which we will denote by $\operatorname{Sing}_{\bullet }: \operatorname{Top}\rightarrow \operatorname{Set_{\Delta }}$.
Example 1.1.7.2. Let $X$ be a topological space and let $\operatorname{Sing}_{\bullet }(X)$ be its singular simplicial set. The vertices of $\operatorname{Sing}_{\bullet }(X)$ can be identified with points of $X$. The edges of $\operatorname{Sing}_{\bullet }(X)$ can be identified with continuous paths $p: [0,1] \rightarrow X$.
Warning 1.1.7.6. Let $X$ be a topological space. If the simplicial set $\operatorname{Sing}_{\bullet }(X)$ is connected, then the topological space $X$ is path connected and therefore connected. Beware that the converse is not necessarily true: there exist topological spaces $X$ which are connected but not path connected, in which case the singular simplicial set $\operatorname{Sing}_{\bullet }(X)$ will not be connected.
It will be convenient to consider a generalization of Construction 1.1.7.1.
Variant 1.1.7.7. Let $\operatorname{\mathcal{C}}$ be any category and let $Q^{\bullet }$ be a cosimplicial object of $\operatorname{\mathcal{C}}$, which we view as a functor $Q: \operatorname{{\bf \Delta }}\rightarrow \operatorname{\mathcal{C}}$. For every object $X \in \operatorname{\mathcal{C}}$, the construction $( [n] \in \operatorname{{\bf \Delta }}) \mapsto \operatorname{Hom}_{\operatorname{\mathcal{C}}}( Q( [n] ), X )$ determines a functor from $\operatorname{{\bf \Delta }}^{\operatorname{op}}$ to the category of sets, which we can view as a simplicial set. We will denote this simplicial set by $\operatorname{Sing}^{Q}_{\bullet }(X)$, so that we have canonical bijections $\operatorname{Sing}^{Q}_{n}(X) \simeq \operatorname{Hom}_{\operatorname{\mathcal{C}}}( Q^{n}, X)$. We view the construction $X \mapsto \operatorname{Sing}^{Q}_{\bullet }(X)$ as a functor from the category $\operatorname{\mathcal{C}}$ to the category of simplicial sets, which we denote by $\operatorname{Sing}^{Q}_{\bullet }: \operatorname{\mathcal{C}}\rightarrow \operatorname{Set_{\Delta }}$.
Example 1.1.7.8. The construction $[n] \mapsto | \Delta ^{n} |$ determines a functor from the simplex category $\operatorname{{\bf \Delta }}$ to the category $\operatorname{Top}$ of topological spaces, which assigns to each morphism $\alpha : [m] \rightarrow [n]$ the continuous map
\[ | \Delta ^{m} | \rightarrow | \Delta ^{n} | \quad \quad (t_0, \ldots , t_ m) \mapsto ( \sum _{\alpha (i) = 0} t_ i, \ldots , \sum _{\alpha (i)=n} t_ i). \]
We regard this functor as a cosimplicial topological space, which we denote by $| \Delta ^{\bullet } |$. Applying Variant 1.1.7.7 to this cosimplicial space yields a functor $\operatorname{Sing}^{ | \Delta |}_{\bullet }: \operatorname{Top}\rightarrow \operatorname{Set_{\Delta }}$, which coincides with the singular simplicial set functor $\operatorname{Sing}_{\bullet }$ of Construction 1.1.7.1.
Example 1.1.7.9. The construction $[n] \mapsto \Delta ^{n}$ determines a functor from the simplex category $\operatorname{{\bf \Delta }}$ to the category $\operatorname{Set_{\Delta }}= \operatorname{Fun}( \operatorname{{\bf \Delta }}^{\operatorname{op}}, \operatorname{Set})$ of simplicial sets (this is the Yoneda embedding for the simplex category $\operatorname{{\bf \Delta }}$). We regard this functor as a cosimplicial object of $\operatorname{Set_{\Delta }}$, which we denote by $\Delta ^{\bullet }$. Applying Variant 1.1.7.7 to this cosimplicial object, we obtain a functor from the category of simplicial sets to itself, which is canonically isomorphic to the identity functor $\operatorname{id}_{ \operatorname{Set_{\Delta }}}: \operatorname{Set_{\Delta }}\rightarrow \operatorname{Set_{\Delta }}$ (see Remark 1.1.2.3).