Structures · Category theory
CategoryTheory.IsRegularMono
IsRegularMono f is the assertion that f is a regular monomorphism.
- Shape
- One type argument · adds regularMono
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances1
- Opposite
How is a type an instance?
Loading the hierarchy index…
Assumed by15
- CategoryTheory.IsRegularMono.left
- CategoryTheory.IsRegularMono.right
- CategoryTheory.IsRegularMono.Z
- CategoryTheory.IsRegularMono.regularMono
- CategoryTheory.IsRegularMono.lift
- CategoryTheory.IsRegularMono.fac
- CategoryTheory.IsRegularMono.isLimit
- CategoryTheory.IsRegularMono.getStruct
- CategoryTheory.instIsRegularEpiOppositeOpOfIsRegularMono
- CategoryTheory.instIsRegularEpiUnopOfIsRegularMonoOpposite
- CategoryTheory.IsRegularMono.uniq
- CategoryTheory.IsRegularMono.fac_assoc
- CategoryTheory.instStrongMonoOfIsRegularMono
- CategoryTheory.IsRegularMono.lift.congr_simp
- CategoryTheory.IsRegularMono.w
Ancestors0
No ancestors.