Simplicial approximation theorem (source code)

= Simplicial approximation theorem
{c}
{wiki}

After sufficiently subdividing the domain, every continuous map between geometric realizations of simplicial complexes is homotopic to a simplicial map. Relative and based forms preserve a specified subcomplex or basepoint.