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

Stability | experimental |

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

# Documentation

class Bifunctor p => Braided p whereSource

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 coassociate . braid . coassociate = first braid . coassociate . second braid