Cartesian monoid

monoid, with additional structure of pairing and projection operators

en-US/kɑɹˈtiʒən ˈmɑnɔɪd/

श्रेणियाँ:

monoid