# category
## English
### Etymology

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

* (General American, Canada) IPA: /ˈkætəˌɡɔɹi/
* (Received Pronunciation) IPA: /ˈkætɪɡ(ə)ɹi/
* (New Zealand) IPA: /ˈkɛtɘɡ(ɘ)ɹi/, /ˈkɛtɘˌɡoːɹi/
* Audio (US):(file)
* Hyphenation: cat‧e‧go‧ry, cat‧e‧gory

### Noun

category (plural categories)
* A group, often named or numbered, to which items are assigned based on similarity or defined criteria.
    Synonyms: class, family, genus, kingdom, order, pigeonhole, phylum, race, tribe, type; see also Thesaurus:class
    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.
* (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‎, 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.

#### Hyponyms

* conceptual category
* Eilenberg-Moore category
* Kleisli category
* macrocategory
* microcategory
* monoid
* partially ordered set
* perceptual category
* subcategory
* supercategory

#### Derived terms

* anticategory
* balanced category
* bicartesian closed category
* bicategory
* Cartesian closed category
* categorification
* categorify
* categorisation
* categorist
* category error
* category five
* category fraud
* category killer
* categoryless
* category mistake
* category-mistake
* category reference
* category theory
* child category
* cocategory
* comma category
* coslice category
* discrete category
* free category
* functor category
* Goguen category
* grammatical category
* intercategory
* intracategory
* Kleisli category
* lexical category
* macrocategory
* microcategory
* monoidal category
* multicategory
* overcategory
* perceptual category
* precategory
* semicategory
* slice category
* small category
* subcategory
* supercategory
* tetracategory
* tricategory

#### Related terms

* categorial
* categorical
* categorise, categorize

#### Further reading

* “category”, in Webster’s Revised Unabridged Dictionary, Springfield, Mass.: G. & C. Merriam, 1913, →OCLC.
* “category”, in The Century Dictionary […], New York, N.Y.: The Century Co., 1911, →OCLC.