A map $p:E\to B$ in $Top$ is *shrinkable* if there is a section $s:B\to E$ such that $s\circ p$ is fibrewise homotopic to $id_E$. That is, the homotopy $E\times I \to E$ covers the projection map $pr_1:B\times I \to B$.

Created on April 1, 2009 at 01:19:15. See the history of this page for a list of all contributions to it.