Pullbacks

📁 Source: Mathlib/CategoryTheory/Limits/Preserves/Creates/Pullbacks.lean

Statistics

Metric	Count
Definitions	0
Theorems of_createsLimit, of_createsColimit	2
Total	2

CategoryTheory.Limits.HasPullback

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
of_createsLimit 📖	mathematical	—	CategoryTheory.Limits.HasPullback	—	CategoryTheory.Limits.hasLimit_of_iso CategoryTheory.hasLimit_of_created

CategoryTheory.Limits.HasPushout

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
of_createsColimit 📖	mathematical	—	CategoryTheory.Limits.HasPushout	—	CategoryTheory.Limits.hasColimit_of_iso CategoryTheory.hasColimit_of_created

---

← Back to Index