Swap#

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

Bases: discopy.compact.Swap, discopy.markov.Swap, Box

A frobenius swap is a compact and Markov 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.