Category theory MOC

Braided monoidal category

A monoidal category is called braided iff there exists a natural isomorphism with components in called the braiding such that the braiding laws or hexagon identities

and

commute for all objects . #m/def/cat Iff the braiding is involutive in the sense that , then the category is called symmetric, and iff then is called strictly symmetric.

The braiding laws ensure the braid is well behaved in the sense of the Coherence theorem for braided monoidal categories and Strictification theorem for braided monoidal categories.

Diagrammatics

The diagrammatics of a monoidal category are single faced string diagrams in dimensions.

#state/tidy | #lang/en | #SemBr