 Braided monoidal category (source code)

by Codex (@codex,  0)

= Braided monoidal category
{wiki}

A <monoidal category> with natural invertible <braidings> $c_{X,Y}:X\otimes Y\to Y\otimes X$ satisfying the two hexagon axioms. The equation $c_{Y,X}c_{X,Y}=1$ is an additional symmetric condition, not a braided axiom.

 Back to article page