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