RegularEpi

📁 Source: Mathlib/CategoryTheory/Functor/RegularEpi.lean

Statistics

Metric	Count
Definitions	0
Theorems instIsRegularEpiCategoryOfForallEpiHasPullbackOfHasPushouts	1
Total	1

CategoryTheory.Functor

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instIsRegularEpiCategoryOfForallEpiHasPullbackOfHasPushouts 📖	mathematical	CategoryTheory.Limits.HasPullback	CategoryTheory.IsRegularEpiCategory CategoryTheory.Functor category	—	CategoryTheory.instEpiAppOfFunctor CategoryTheory.Limits.PullbackCone.condition CategoryTheory.IsRegularEpiCategory.regularEpiOfEpi CategoryTheory.Category.comp_id CategoryTheory.Category.id_comp map_id CategoryTheory.instEffectiveEpiOfIsRegularEpi

---

← Back to Index