ReflectsPrecoherent

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

Statistics

Metric	Count
Definitions	0
Theorems reflects_precoherent	1
Total	1

CategoryTheory.Functor

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
reflects_precoherent 📖	mathematical	—	CategoryTheory.Precoherent	—	CategoryTheory.Precoherent.pullback map_finite_effectiveEpiFamily EffectivelyEnough.presentation finite_effectiveEpiFamily_of_map map_preimage CategoryTheory.precoherentEffectiveEpiFamilyCompEffectiveEpis instEffectiveEpiEffectiveEpiOver map_injective map_comp CategoryTheory.Category.assoc

---

← Back to Index