= Coquasitriangular structure
{title2=$\gamma:H\otimes H\to I$}
In a <symmetric monoidal category>, a convolution-invertible scalar pairing $\gamma:H\otimes H\to I$ on a <bimonoid> inducing the <comodule> braiding $u\otimes v\mapsto\sum v_{(0)}\otimes u_{(0)}\gamma(u_{(1)},v_{(1)})$. Its multiplicativity, normalization and commutation axioms express the hexagon, unit and colinearity conditions. The notation abbreviates morphisms and ambient symmetries, not a requirement for elements.
Back to article page
