ResiduatedMonoid

class discopy.abc.ResiduatedMonoid

Bases: ColouredMonoid, Generic

A monoid is residuated when it comes with methods over and under with syntactic sugar << and >>.

abstract over(other)

The right-to-left exponential object self to the other.

Parameters:

other (C1)

Return type:

C1

abstract under(other)

The left-to-right exponential object self to the other.

Parameters:

other (C1)

Return type:

C1