Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
A braided (co)(monoidal or associative) category can commute the arguments of its bi-endofunctor. Obeys the laws:
idr . braid = idl idl . braid = idr braid . coidr = coidl braid . coidl = coidr associate . braid . associate = second braid . associate . first braid disassociate . braid . disassociate = first braid . disassociate . second braid