Structures · Topology
SSet.IsConnected
A simplicial set is econnected when it has exactly one connected component.
- Shape
- One type argument · adds nonempty
Extends1
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- CategoryTheory.Functor.obj
How is a type an instance?
Loading the hierarchy index…
Assumed by4
Ancestors28
- AlgebraicGeometry.IsAffine
- AlgebraicGeometry.IsAffineHom
- AlgebraicGeometry.IsClosedImmersion
- AlgebraicGeometry.IsFinite
- AlgebraicGeometry.IsImmersion
- AlgebraicGeometry.IsIntegralHom
- AlgebraicGeometry.IsPreimmersion
- AlgebraicGeometry.IsProper
- AlgebraicGeometry.IsSeparated
- AlgebraicGeometry.LocallyOfFiniteType
- AlgebraicGeometry.LocallyQuasiFinite
- AlgebraicGeometry.QuasiCompact
- AlgebraicGeometry.QuasiSeparated
- AlgebraicGeometry.Scheme.IsQuasiAffine
- AlgebraicGeometry.Scheme.IsSeparated
- AlgebraicGeometry.SurjectiveOnStalks
- AlgebraicGeometry.UniversallyClosed
- CompactSpace
- Countable
- Filter.TendstoCofinite
- Finite
- Matroid.Finitary
- Matroid.Finite
- Matroid.InvariantCardinalRank
- Matroid.RankFinite
- MeasureTheory.SFinite
- Small
- Subsingleton