Structures · Category theory
CategoryTheory.Functor.ReflectsEffectiveEpis
A class describing the property of reflecting effective epimorphisms.
- Shape
- One type argument · adds reflects
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 by11
- CategoryTheory.Functor.reflects_preregular
- CategoryTheory.Functor.effectiveEpi_of_map
- CategoryTheory.regularTopology.exists_effectiveEpi_iff_mem_induced
- CategoryTheory.Functor.ReflectsEffectiveEpis.reflects
- CategoryTheory.regularTopology.coverPreserving
- CategoryTheory.coherentTopology.equivalence'
- CategoryTheory.regularTopology.eq_induced
- CategoryTheory.Functor.instReflectsEffectiveEpisComp
- CategoryTheory.regularTopology.equivalence
- CategoryTheory.instReflectsFiniteEffectiveEpiFamiliesOfReflectsEffectiveEpis
- CategoryTheory.regularTopology.instIsDenseSubsite
Ancestors0
No ancestors.