Contiguous simplicial maps (source code)

= Contiguous simplicial maps

Simplicial maps $f,g:K\to L$ are contiguous when $f(\sigma)\cup g(\sigma)$ lies in one simplex of $L$ for every simplex $\sigma$ of $K$. Contiguous maps have homotopic geometric realizations.