Structures · Topology
SimplyConnectedSpace
A simply connected space is one whose fundamental groupoid is equivalent to Discrete Unit
- Shape
- One type argument · adds equiv_unit
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by14
- IsQuotientCoveringMap.monodromyPerm_injective
- IsCoveringMapOn.existsUnique_continuousMap_lifts
- SimplyConnectedSpace.paths_homotopic
- SimplyConnectedSpace.equiv_unit
- IsCoveringMap.existsUnique_continuousMap_lifts
- ContinuousMap.HomotopyEquiv.simplyConnectedSpace
- IsQuotientCoveringMap.fundamentalGroupToMulOpposite_injective
- SimplyConnectedSpace.instPathConnectedSpace
- SimplyConnectedSpace.instSubsingletonQuotient
- IsAddQuotientCoveringMap.fundamentalGroupEquiv
- IsQuotientCoveringMap.fundamentalGroupEquiv
- IsAddQuotientCoveringMap.monodromyPerm_injective
- IsAddQuotientCoveringMap.fundamentalGroupToMulOpposite_injective
- SimplyConnectedSpace.instSubsingletonFundamentalGroup
Ancestors0
No ancestors.