Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
|
| gptkbp:defines |
A map p : E → B has the homotopy lifting property with respect to a space X if for every homotopy f : X × [0,1] → B and every lift f₀ : X → E of f at time 0, there exists a homotopy F : X × [0,1] → E lifting f and starting at f₀.
|
| gptkbp:example |
gptkb:fiber
gptkb:Serre_fibration covering map of topological spaces |
| gptkbp:field |
gptkb:topology
|
| gptkbp:hasCounterexample |
projection from Möbius strip to circle
|
| https://www.w3.org/2000/01/rdf-schema#label |
Homotopy lifting property
|
| gptkbp:implies |
path lifting property
|
| gptkbp:introduced |
Algebraic topologists
|
| gptkbp:relatedTo |
gptkb:fiber
covering space homotopy |
| gptkbp:seeAlso |
homotopy extension property
|
| gptkbp:usedIn |
definition of Serre fibration
definition of covering map definition of fibration |
| gptkbp:bfsParent |
gptkb:Homotopy_group
gptkb:Fibrations |
| gptkbp:bfsLayer |
8
|