category

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

English Wikipedia has an article on:
Wikipedia

Etymology[edit]

Late Middle English, borrowed from French catégorie, from Middle French categorie, from Late Latin catēgoria (class of predicables), from Ancient Greek κατηγορία (katēgoría, head of predicables). Doublet of categoria.

Pronunciation[edit]

Noun[edit]

category (plural categories)

  1. A group, often named or numbered, to which items are assigned based on similarity or defined criteria.
    This steep and dangerous climb belongs to the most difficult category.
    I wouldn't put this book in the same category as the author's first novel.
    • 1988, Andrew Radford, Transformational grammar: a first course, Cambridge, UK: Cambridge University Press, →ISBN, page 51:
      The traditional way of describing the similarities and differences between constituents is to say that they belong to categories of various types. Thus, words like boy, girl, man, woman, etc. are traditionally said to belong to the category of Nouns, whereas words like a, the, this, and that are traditionally said to belong to the category of Determiners.
  2. (mathematics) A collection of objects, together with a transitively closed collection of composable arrows between them, such that every object has an identity arrow, and such that arrow composition is associative.
    One well-known category has sets as objects and functions as arrows.
    Just as a monoid consists of an underlying set with a binary operation "on top of it" which is closed, associative and with an identity, a category consists of an underlying digraph with an arrow composition operation "on top of it" which is transitively closed, associative, and with an identity at each object. In fact, a category's composition operation, when restricted to a single one of its objects, turns that object's set of arrows (which would all be loops) into a monoid.
    • 1995, Michael Barr with Charles Wells, Category Theory for Computing Science[1], 2nd edition, Cambridge, Great Britain: Prentice Hall, §2.8.9, page 46:
      The use of the word ‘factor’ shows the explicit intention of categorists to work with functions in an algebraic manner: a category is an algebra of functions.

Synonyms[edit]

Hyponyms[edit]

Derived terms[edit]

Related terms[edit]

Translations[edit]

The translations below need to be checked and inserted above into the appropriate translation tables. See instructions at Wiktionary:Entry layout § Translations.

Further reading[edit]