HasConicalTerminal

📁 Source: Mathlib/CategoryTheory/Enriched/Limits/HasConicalTerminal.lean

Statistics

Metric	Count
Definitions HasConicalTerminal	1
Theorems hasConicalTerminal	1
Total	2

CategoryTheory.Enriched

Definitions

Name	Category	Theorems
HasConicalTerminal 📖	MathDef	1 math math: HasConicalProducts.hasConicalTerminal

CategoryTheory.Enriched.HasConicalProducts

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
hasConicalTerminal 📖	mathematical	—	CategoryTheory.Enriched.HasConicalTerminal	—	CategoryTheory.Enriched.HasConicalLimitsOfShape.of_equiv hasConicalLimitsOfShape CategoryTheory.Equivalence.isEquivalence_functor

---

← Back to Index