Structures · Category theory
CategoryTheory.Functor.PreservesEffectiveEpis
A class describing the property of preserving effective epimorphisms.
- Shape
- One type argument · adds preserves
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances2
- Profinite
- Stonean
How is a type an instance?
Loading the hierarchy index…
Assumed by17
- CategoryTheory.Functor.regularEpiOfPreserves
- CategoryTheory.Functor.reflects_preregular
- CategoryTheory.regularTopology.equalizerCondition_precomp_of_preservesPullback
- CategoryTheory.regularTopology.exists_effectiveEpi_iff_mem_induced
- CategoryTheory.Functor.regularEpiOfPreserves_left
- CategoryTheory.Functor.map_effectiveEpi
- CategoryTheory.Functor.regularEpiOfPreserves_isColimit
- CategoryTheory.regularTopology.coverPreserving
- CategoryTheory.coherentTopology.equivalence'
- CategoryTheory.Functor.instPreservesEffectiveEpisComp
- CategoryTheory.Functor.PreservesEffectiveEpis.preserves
- CategoryTheory.regularTopology.eq_induced
- CategoryTheory.Functor.regularEpiOfPreserves_right
- CategoryTheory.instPreservesFiniteEffectiveEpiFamiliesOfPreservesEffectiveEpis
- CategoryTheory.regularTopology.equivalence
- CategoryTheory.regularTopology.instIsDenseSubsite
- CategoryTheory.Functor.regularEpiOfPreserves_W
Ancestors0
No ancestors.