monoidoid

English

Etymology

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.

Noun

monoidoid (plural monoidoids)

  1. (category theory, humorous) A category.
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.