With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The coherence theorem for braided monoidal categories can be expressed as:
Every diagram in a free braided monoidal category made up of associators and unitors and braidings, and in which both sides have the same underlying braid, commutes.
Created on October 7, 2012 at 04:49:27. See the history of this page for a list of all contributions to it.