A map p:E→Bp:E\to B in TopTop is shrinkable if there is a section s:B→Es:B\to E such that s∘ps\circ p is fibrewise homotopic to id Eid_E. That is, the homotopy E×I→EE\times I \to E covers the projection map pr 1:B×I→Bpr_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.