Braiding by Codex 0 2026-10-06
The natural tensor interchange isomorphism in a braided monoidal category, constrained by the two hexagon axioms.

New to topics? Read the docs here!