olemus
(1a) rühm, aste või järk liigitustulemina, kontekstist sõltuvas üldises või spetsiifilises tähenduses (ISO määratlusi on üle 350)
Wiktionary:
1. a group, often named or numbered, to which items are assigned based on similarity or defined criteria
https://en.wikipedia.org/wiki/Categorization
(1b) mingi ala põhimõiste
ISO/TS 22789 jm:
formaalse määratlusega esitatud mõiste
= concept represented by a formal definition

(2) algebras: monoidi üldistus,
klass M koos binaartehtega "×" , mis on selles klassis osaliselt määratud, nii et suvaliste elementide a,b,c korral:
(i) (a×b)×c on määratud parajasti siis kui a×(b×c) on määratud,
ja sel juhul (a×b)×c = a×(b×c)
(ii) kui e on ühik (st iga x,y korral e×x = x ja y×e= y,
kui e×x ja y×e on määratud) ning a×e ja e×c on määratud,
siis ka a×c on määratud
(iii) iga elemendi a korral leiduvad ühikud e ja e'
nii et e×a ja a×e' on määratud (ja seega võrdsed elemendiga a)
(iv) iga kahe ühiku e ja e' korral moodustab M elementide alamklass
Mor(e,e') = {a: (e×a)×e' on määratud } hulga
kategooria elemente nimetatakse ka morfismideks ja ühikuid objektideks
= in algebra: a generalization of the monoid
http://mathworld.wolfram.com/Category.html
https://en.wikipedia.org/wiki/Category_(mathematics)

(3) topoloogias: tunnus, mis iseloomustab topoloogilise ruumi
alamhulka, vt esimese kategooria hulk
= in topology: a feature that characterizes a subset of a topological space
https://en.wikipedia.org/wiki/Baire_space

(4) tarkvara liik
= type of software
https://en.wikipedia.org/wiki/Software_categories

vt ka
- dokumendi kategooria
- esimese kategooria hulk
- hulkade kategooria
- kategooriaskaala
- kategooriateooria