Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
shrinkable map, so I can reference it for Urs’ question on Hurewicz fibrations.
Urs prettied up shrinkable map, and added it as an example to Dold fibration (with a little correction from me: we don’t need a numerable cover to be good for its geometric realisation to have shrinkable projection).
Added comment that the implication shrinkable $\Rightarrow$ Dold fibration is a theorem about locally homotopy trivial maps, and that a shrinkable map is globally homotopy trivial with trivial fibre.
1 to 3 of 3