Structures · Category theory
CategoryTheory.MorphismProperty.Respects
A morphism property P satisfies P.Respects Q if it is stable under composition on the
left and right by morphisms satisfying Q.
- Shape
- 2 explicit arguments
Extends2
Extended by2
Concrete types that are instances1
- AlgebraicGeometry.Scheme
How is a type an instance?
Loading the hierarchy index…