Straight-line homotopy from a simplicial approximation

ID: straight-line-homotopy-from-a-simplicial-approximation

If simplicially approximates , then and lie in a common simplex for every . The affine formula
therefore remains in the realization and gives a homotopy from to .

New to topics? Read the docs here!