Structures · Category theory
CategoryTheory.IsNormalMonoCategory
A normal mono category is a category in which every monomorphism is normal.
- Shape
- One type argument · adds normalMonoOfMono
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by2
Concrete types that are instances4
- HomologicalComplex
- CategoryTheory.ObjectProperty.FullSubcategory
- PresheafOfModules
- CategoryTheory.ShortComplex
How is a type an instance?
Loading the hierarchy index…
Assumed by10
- CategoryTheory.normalMonoOfMono
- CategoryTheory.NormalMonoCategory.epi_of_zero_cokernel
- CategoryTheory.NormalMonoCategory.preservesEpimorphisms_of_preservesCokernels
- CategoryTheory.NormalMonoCategory.pullback_of_mono
- CategoryTheory.regularMonoCategoryOfNormalMonoCategory
- CategoryTheory.NormalMonoCategory.hasLimit_parallelPair
- CategoryTheory.NormalMonoCategory.hasEqualizers
- CategoryTheory.IsNormalMonoCategory.normalMonoOfMono
- CategoryTheory.NormalMonoCategory.epi_of_zero_cancel
- CategoryTheory.ObjectProperty.preservesEpimorphisms_ι_of_isNormalMonoCategory
Ancestors0
No ancestors.