Singular chain complex functor

Definition
The singular chain complex functor is a functor from the category of topological spaces with continuous maps to the category of chain complexes with chain maps defined as follows.

To show that this is well-defined, we need to show the following: