monoidoid

名词 n.

英文释义

名词 n.
  1. A category. humorous

词形变化

monoidoids plural

词源

monoid + -oid. A monoid can be viewed as a one-object category, so that a category can be viewed as the horizontal categorification of a monoid, but this almost-circular definition is mostly used as a joke, often associated with a view of category theory as overly abstract nonsense.
0 次浏览 数据来源: Wiktionary