Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
topological concept |
| gptkbp:appearsIn |
gptkb:Serre_fibration
homotopy cartesian square |
| gptkbp:category |
gptkb:topology
|
| gptkbp:contrastsWith |
homotopy cofiber
|
| gptkbp:definedIn |
continuous map
|
| gptkbp:defines |
The homotopy fiber of a map f: X → Y is a space F_f together with a map F_f → X such that the composition F_f → X → Y is homotopic to a constant map.
|
| gptkbp:field |
gptkb:topology
|
| gptkbp:generalizes |
fiber of a map
|
| https://www.w3.org/2000/01/rdf-schema#label |
Homotopy fiber
|
| gptkbp:relatedTo |
gptkb:fiber
homotopy theory |
| gptkbp:usedIn |
homotopy pullback
long exact sequence of homotopy groups |
| gptkbp:bfsParent |
gptkb:Homotopy_group
|
| gptkbp:bfsLayer |
8
|