• 홈
  • Cartesian monoid

Cartesian monoid

monoid, with additional structure of pairing and projection operators

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

카테고리:

monoid