Braid

Contents

Braid#

class discopy.braided.Braid(left, right, is_dagger=False)[source]#

Bases: BinaryBoxConstructor, Box

The braiding of atomic types left and right.

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, use Diagram.braid() instead.