 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Category.Braided  Portability  portable  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 


Synopsis 



Documentation 

class Braided k p where 
A braided (co)(monoidal or associative) category can commute the arguments of its biendofunctor. 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
  Methods  braid :: k (p a b) (p b a) 
  Instances  


class Braided k p => Symmetric k p 
If we have a symmetric (co)Monoidal category, you get the additional law:
swap . swap = id
  Instances  


swap :: Symmetric k p => k (p a b) (p b a) 

Produced by Haddock version 2.1.0 