Simplicial approximation (source code)

= Simplicial approximation
{wiki=Simplicial_approximation}

A simplicial map $g:K\to L$ is a simplicial approximation to a continuous map $f:|K|\to|L|$ when
$$
f(\operatorname{st}_K(v))
\subseteq\operatorname{st}_L(g(v))
$$
for every vertex $v$ of $K$.