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
monoidal dagger-category?
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.