Cartesian monoid

monoid, with additional structure of pairing and projection operators

Kategorier: