Braided

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

Statistics

Metric	Count
Definitions exactPairing_swap, hasLeftDualOfHasRightDual, hasRightDualOfHasLeftDual, leftRigidCategoryOfRightRigidCategory, rightRigidCategoryOfLeftRigidCategory, rigidCategoryOfLeftRigidCategory, rigidCategoryOfRightRigidCategory, Braided	8
Theorems	0
Total	8

CategoryTheory.BraidedCategory

Definitions

Name	Category	Theorems
exactPairing_swap 📖	CompOp	—
hasLeftDualOfHasRightDual 📖	CompOp	—
hasRightDualOfHasLeftDual 📖	CompOp	—
leftRigidCategoryOfRightRigidCategory 📖	CompOp	—
rightRigidCategoryOfLeftRigidCategory 📖	CompOp	—
rigidCategoryOfLeftRigidCategory 📖	CompOp	—
rigidCategoryOfRightRigidCategory 📖	CompOp	—

CategoryTheory.Functor

Definitions

Name	Category	Theorems
Braided 📖	CompData	2 math math: Braided.toMonoidal_injective, Braided.instSubsingleton

---

← Back to Index