David Roberts
shrinkable map

A map p:EB in Top is shrinkable if there is a section s:BE such that sp is fibrewise homotopic to id E. That is, the homotopy E×IE covers the projection map pr 1:B×IB.