A map p:E→B in Top is shrinkable if there is a section s:B→E such that s∘p is fibrewise homotopic to id E. That is, the homotopy E×I→E covers the projection map pr 1:B×I→B.