Portability | portable |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

# Documentation

class Associative k p => Braided k p whereSource

A braided (co)(monoidal or associative) category can commute the arguments of its bi-endofunctor. Obeys the laws:

associate . braid . associate = second braid . associate . first braid disassociate . braid . disassociate = first braid . disassociate . second braid

If the category is Monoidal the following laws should be satisfied

idr . braid = idl idl . braid = idr

If the category is Comonoidal the following laws should be satisfied

braid . coidr = coidl braid . coidl = coidr