Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algebra
|
| gptkbp:category |
gptkb:category_theory
|
| gptkbp:field |
gptkb:mathematics
differential geometry |
| gptkbp:generalizes |
gptkb:Lie_group
groupoid |
| gptkbp:hasArrowSpace |
gptkb:Riemannian_manifold
|
| gptkbp:hasAssociatedAlgebroid |
gptkb:Lie_algebroid
|
| gptkbp:hasCompositionMap |
smooth map
|
| gptkbp:hasIdentityMap |
smooth map
|
| gptkbp:hasInverseMap |
smooth map
|
| gptkbp:hasObjectSpace |
gptkb:Riemannian_manifold
|
| gptkbp:hasSmoothStructure |
true
|
| gptkbp:hasSourceMap |
smooth map
|
| gptkbp:hasTargetMap |
smooth map
|
| gptkbp:introduced |
gptkb:Charles_Ehresmann
|
| gptkbp:introducedIn |
1950s
|
| gptkbp:isSmoothCategory |
true
|
| gptkbp:relatedTo |
gptkb:Lie_group
groupoid |
| gptkbp:usedIn |
symplectic geometry
Poisson geometry foliation theory algebroid theory differentiable stacks |
| gptkbp:bfsParent |
gptkb:Lie_algebroid
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lie groupoid
|