category
Language: English
Part of speech: noun
Pronunciation: ipa: /ˈkætəˌɡɔɹi/
ipa: /ˈkætɪɡ(ə)ɹi/
ipa: /ˈkɛtɘɡ(ɘ)ɹi/
ipa: /ˈkɛtɘˌɡoːɹi/
note: Indic
ipa: /ˈkaʈəɡɵri/
ipa: /kaˈtɛˌɡoɹi/
Forms: form: categories
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.
Senses: examples: text: This steep and dangerous climb belongs to the most difficult category.
text: I wouldn’t put this book in the same category as the author’s first novel.
text: 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.
ref: 1988, Andrew Radford, Transformational grammar: a first course, Cambridge, UK: Cambridge University Press, →ISBN, page 51:
synonyms: word: class
word: family
word: genus
word: kingdom
word: order
word: pigeonhole
word: phylum
word: race
word: tribe
word: type
word: category
word: class
word: fashion
word: division
word: family
word: genre
word: ilk
word: kind
word: likes
word: race
word: rubric
word: set
word: sort
word: type
glosses: A group, often named or numbered, to which items are assigned based on similarity or defined criteria.
examples: text: One well-known category has sets as objects and functions as arrows.
text: 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.
text: 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.
ref: 1995, Michael Barr with Charles Wells, Category Theory for Computing Science, 2nd edition, Cambridge, Great Britain: Prentice Hall, §2.8.9, page 46:
topics: mathematics
sciences
glosses: 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.
Hyponyms: conceptual category
Eilenberg-Moore category
Kleisli category
macrocategory
microcategory
monoid
partially ordered set
perceptual category
subcategory
supercategory
Derived terms: abelian category
additive category
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
preabelian category
pre-abelian category
preadditive category
pre-additive category
precategory
semicategory
slice category
small category
subcategory
supercategory
tetracategory
tricategory
Related terms: categorial
categorical
categorise
categorize