Transport

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

Statistics

Metric	Count
Definitions instBraidedCategory, instSymmetricCategory, instBraidedTransportedFunctorEquivalenceTransported, instBraidedTransportedInverseEquivalenceTransported, transportedFunctorCompInverseBraided, transportedFunctorCompInverseLaxBraided	6
Theorems	0
Total	6

CategoryTheory.Monoidal

Definitions

Name	Category	Theorems
instBraidedTransportedFunctorEquivalenceTransported 📖	CompOp	—
instBraidedTransportedInverseEquivalenceTransported 📖	CompOp	—
transportedFunctorCompInverseBraided 📖	CompOp	—
transportedFunctorCompInverseLaxBraided 📖	CompOp	—

CategoryTheory.Monoidal.Transported

Definitions

Name	Category	Theorems
instBraidedCategory 📖	CompOp	—
instSymmetricCategory 📖	CompOp	—

---

← Back to Index