OfEquivalence

📁 Source: Mathlib/CategoryTheory/Monoidal/Rigid/OfEquivalence.lean

Statistics

Metric	Count
Definitions ofFaithful, ofFullyFaithful, exactPairingOfFaithful, exactPairingOfFullyFaithful, hasLeftDualOfEquivalence, hasRightDualOfEquivalence, leftRigidCategoryOfEquivalence, rightRigidCategoryOfEquivalence, rigidCategoryOfEquivalence	9
Theorems	0
Total	9

CategoryTheory

Definitions

Name	Category	Theorems
exactPairingOfFaithful 📖	CompOp	—
exactPairingOfFullyFaithful 📖	CompOp	—
hasLeftDualOfEquivalence 📖	CompOp	—
hasRightDualOfEquivalence 📖	CompOp	—
leftRigidCategoryOfEquivalence 📖	CompOp	—
rightRigidCategoryOfEquivalence 📖	CompOp	—
rigidCategoryOfEquivalence 📖	CompOp	—

CategoryTheory.ExactPairing

Definitions

Name	Category	Theorems
ofFaithful 📖	CompOp	—
ofFullyFaithful 📖	CompOp	—

---

← Back to Index