Cap

Contents

Cap#

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

Bases: discopy.compact.Cap, Box

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

Parameters:
  • left (Ty) – The atomic type.

  • right (Ty) – Its adjoint.