Structures · Category theory
CategoryTheory.IsNormalEpiCategory
A normal epi category is a category in which every epimorphism is normal.
- Shape
- One type argument · adds normalEpiOfEpi
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.normalEpiOfEpi
- CategoryTheory.NormalEpiCategory.mono_of_zero_kernel
- CategoryTheory.NormalEpiCategory.preservesMonomorphisms_of_preservesKernels
- CategoryTheory.regularEpiCategoryOfNormalEpiCategory
- CategoryTheory.NormalEpiCategory.hasColimit_parallelPair
- CategoryTheory.NormalEpiCategory.mono_of_cancel_zero
- CategoryTheory.NormalEpiCategory.hasCoequalizers
- CategoryTheory.NormalEpiCategory.pushout_of_epi
- CategoryTheory.ObjectProperty.preservesMonomorphisms_ι_of_isNormalEpiCategory
- CategoryTheory.IsNormalEpiCategory.normalEpiOfEpi
Ancestors0
No ancestors.