ReflectsPreregular

📁 Source: Mathlib/CategoryTheory/Sites/Coherent/ReflectsPreregular.lean

Statistics

Metric	Count
Definitions	0
Theorems reflects_preregular	1
Total	1

CategoryTheory.Functor

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
reflects_preregular 📖	mathematical	—	CategoryTheory.Preregular	—	CategoryTheory.Preregular.exists_fac map_effectiveEpi EffectivelyEnough.presentation effectiveEpi_of_map map_preimage CategoryTheory.regularTopology.instEffectiveEpiComp instEffectiveEpiEffectiveEpiOver map_injective map_comp CategoryTheory.Category.assoc

---

← Back to Index