Structures · Category theory
CategoryTheory.MorphismProperty.IsStableUnderTransfiniteComposition
A class of morphisms W : MorphismProperty C is stable under transfinite composition
if it is multiplicative and stable under transfinite composition of any shape
(in a certain universe).
- Shape
- One type argument · adds isStableUnderTransfiniteCompositionOfShape
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- SSet
How is a type an instance?
Loading the hierarchy index…
Assumed by8
- CategoryTheory.MorphismProperty.transfiniteCompositions_le
- CategoryTheory.MorphismProperty.IsStableUnderTransfiniteComposition.shrink
- CategoryTheory.MorphismProperty.IsStableUnderTransfiniteComposition.instIsMultiplicative
- CategoryTheory.MorphismProperty.IsStableUnderTransfiniteComposition.shrink₀
- CategoryTheory.MorphismProperty.IsStableUnderTransfiniteComposition.isStableUnderTransfiniteCompositionOfShape
- CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.mem_map
- CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.mem_incl_app
- CategoryTheory.MorphismProperty.transfiniteCompositions_le_iff
Ancestors0
No ancestors.