Structures · Category theory
CategoryTheory.StrongMono
A strong monomorphism f is a monomorphism which has the right lifting property
with respect to epimorphisms.
- Shape
- One type argument · adds mono, rlp
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Forgetful instances
Every CategoryTheory.StrongMono is also a
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 by8
- CategoryTheory.isIso_of_epi_of_strongMono
- CategoryTheory.StrongMono.of_arrow_iso
- CategoryTheory.StrongMono.rlp
- CategoryTheory.StrongMono.mono
- CategoryTheory.strongMono_comp
- CategoryTheory.Adjunction.strongMono_map_of_isEquivalence
- CategoryTheory.Adjunction.strongMono_map_of_strongMono
- CategoryTheory.strongMono_of_strongMono