RegularEpi

📁 Source: Mathlib/AlgebraicTopology/SimplicialSet/RegularEpi.lean

Statistics

Metric	Count
Definitions	0
Theorems instIsRegularEpiCategory	1
Total	1

SSet

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instIsRegularEpiCategory 📖	mathematical	—	CategoryTheory.IsRegularEpiCategory SSet largeCategory	—	CategoryTheory.Functor.instIsRegularEpiCategoryOfForallEpiHasPullbackOfHasPushouts CategoryTheory.Limits.Types.hasLimit UnivLE.small univLE_of_max UnivLE.self CategoryTheory.Limits.hasColimitsOfShape_widePushoutShape Finite.of_fintype CategoryTheory.Limits.hasFiniteWidePushouts_of_has_finite_limits CategoryTheory.Limits.hasFiniteColimits_of_hasColimits CategoryTheory.Limits.Types.hasColimitsOfSize CategoryTheory.regularEpiCategoryOfSplitEpiCategory CategoryTheory.instSplitEpiCategoryType

---

← Back to Index