Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:fiber |
| gptkbp:category |
smooth manifolds
|
| gptkbp:definedIn |
category of smooth manifolds
|
| gptkbp:defines |
A smooth map p: E → B between smooth manifolds is an Ehresmann fibration if it is a surjective submersion and admits a smooth local trivialization.
|
| gptkbp:field |
gptkb:topology
differential geometry differential topology |
| gptkbp:generalizes |
gptkb:fiber
|
| gptkbp:hasSection |
locally
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ehresmann fibration
|
| gptkbp:introduced |
gptkb:Charles_Ehresmann
|
| gptkbp:introducedIn |
1950s
|
| gptkbp:namedAfter |
gptkb:Charles_Ehresmann
|
| gptkbp:property |
has the homotopy lifting property for smooth maps
|
| gptkbp:relatedTo |
gptkb:fiber
gptkb:Serre_fibration submersion |
| gptkbp:usedIn |
differential geometry
foliation theory |
| gptkbp:bfsParent |
gptkb:Charles_Ehresmann
|
| gptkbp:bfsLayer |
7
|