Over

📁 Source: Mathlib/CategoryTheory/Adhesive/Over.lean

Statistics

Metric	Count
Definitions	0
Theorems adhesive_over	1
Total	1

CategoryTheory

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
adhesive_over 📖	mathematical	—	Adhesive Over instCategoryOver	—	adhesive_of_preserves_and_reflects_isomorphism Over.hasLimitsOfShape_of_isConnected widePullbackShape_connected Over.instHasColimitsOfShape Over.preservesLimitsOfShape_forget_of_isConnected preservesColimitOfShape_of_createsColimitsOfShape_and_hasColimitsOfShape Over.forget_reflects_iso

---

← Back to Index