Braid#
- class discopy.braided.Braid(left, right, is_dagger=False)[source]#
Bases:
BinaryBoxConstructor
,Box
The braiding of atomic types
left
andright
.- Parameters:
left (monoidal.Ty) – The type on the top left and bottom right.
right (monoidal.Ty) – The type on the top right and bottom left.
is_dagger – Braiding over or under.
Important
Braid
is only defined for atomic types (i.e. of length 1). For complex types, useDiagram.braid()
instead.