Swap#

class discopy.frobenius.Swap(left, right)[source]#

Bases: discopy.compact.Swap, Box

A frobenius swap is a compact swap in a frobenius diagram.

Parameters

  • left (Ty) – The type on the top left and bottom right.

  • right (Ty) – The type on the top right and bottom left.