§ Simplicial approximation: maps can be approximated by simplicial maps (TODO)