A Cartesian monoid is a monoid, with additional structure of pairing and projection operators.
It was first formulated by Dana Scott and Joachim Lambek independently.
[1] A Cartesian monoid is a structure with signature
are constants satisfying the following axioms for all
in its universe: The interpretation is that
are left and right projection functions respectively for the pairing function