Collar neighbourhood (source code)

= Collar neighbourhood
{wiki}

= Collar neighborhood
{synonym}

A collar neighborhood identifies a neighborhood of the boundary with $\partial W\times[0,\varepsilon)$, with the boundary at parameter zero. It allows a manifold's boundary to be pushed slightly inward by a <homotopy>.