Colimit

📁 Source: Mathlib/CategoryTheory/Category/Cat/Colimit.lean

Statistics

Metric	Count
Definitions	0
Theorems instHasColimits	1
Total	1

CategoryTheory.Cat

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instHasColimits 📖	mathematical	—	CategoryTheory.Limits.HasColimits CategoryTheory.Cat category	—	CategoryTheory.hasColimits_of_reflective CategoryTheory.SimplicialObject.instHasColimits CategoryTheory.Limits.Types.hasColimitsOfSize UnivLE.self

---

← Back to Index