Braid#
- class discopy.braided.Braid(left, right, is_dagger=False)[source]#
Bases:
BinaryBoxConstructor,BoxThe braiding of atomic types
leftandright.- 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
Braidis only defined for atomic types (i.e. of length 1). For complex types, useDiagram.braid()instead.