Pregroup#
- class discopy.abc.Pregroup[source]#
Bases:
ResiduatedMonoid,GenericA pregroup is a residuated monoid where the left and right exponentials are given by tensoring with the chosen left and right duals for each object.
Bases: ResiduatedMonoid, Generic
A pregroup is a residuated monoid where the left and right exponentials are given by tensoring with the chosen left and right duals for each object.