Thin

📁 Source: Mathlib/CategoryTheory/Thin.lean

Statistics

Metric	Count
Definitions iso_of_both_ways, thin_category	2
Theorems functor_thin, subsingleton_iso	2
Total	4

CategoryTheory

Definitions

Name	Category	Theorems
iso_of_both_ways 📖	CompOp	—
thin_category 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
functor_thin 📖	mathematical	Quiver.IsThin CategoryStruct.toQuiver Category.toCategoryStruct	Functor Functor.category	—	NatTrans.ext
subsingleton_iso 📖	mathematical	Quiver.IsThin CategoryStruct.toQuiver Category.toCategoryStruct	Iso	—	Iso.ext

---

← Back to Index