David Roberts shrinkable map

A map p:EBp:E\to B in TopTop is shrinkable if there is a section s:BEs:B\to E such that sps\circ p is fibrewise homotopic to id Eid_E. That is, the homotopy E×IEE\times I \to E covers the projection map pr 1:B×IBpr_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.