| category-extras-0.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 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
| | 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 |