kategorijauređeni par dvaju skupova ili uređeni par klase objekata i klase morfizama, zajedno s funkcijom koja svakomu morfizmu $f$ pridružuje objekt domenu $a = \mathrm{dom} f$ i objekt kodomenu $b = \mathrm{cod} f$, pa pišemo $f:a\to b$, zajedno s funkcijom koja svakomu objektu $x$ pridružuje identični morfizam $\mathrm{id}_x : x\to x$ i funkcijom koja svakomu paru morfizama $f : a \to b$ i $g : b\to c$ pridružuje njihovu kompoziciju $g\circ f : a\to c$, pri čemu vrijedi asocijativnost kompozicije $(h\circ g) \circ f = h \circ (g \circ f)$ za sve morfizme $f, g, h$ za koje su obje strane definirane te vrijedi $g\circ \mathrm{id}_{\mathrm{dom}_ g}= \mathrm{id}_{\mathrm{cod}_g}\circ g = g$ | matematika |
katetastranica uz pravi kut pravokutnoga trokuta | matematika |
klasaosnovni matematički objekt koji je širi od pojma skupa, a određuju ga skupovi koji ga čine | matematika |
klasa ekvivalencijeskup svih elemenata određenoga skupa koji su međusobno ekvivalentni s obzirom na relaciju ekvivalencije | matematika |
klasa morfizama kategorijeklasa koja je sastavni dio definicije određene kategorije | matematika |
kockapravilno geometrijsko tijelo omeđeno sa šest kvadrata | matematika |
kodomena funkcijeskup u kojemu funkcija poprima vrijednosti | matematika |
koeficijentbroj ili konstanta kojim se množi varijabla, funkcija ili izraz | matematika |
koeficijent algebarske jednadžbekoeficijent polinoma koji pripada jednadžbi | matematika |
koeficijent korelacije slučajnih varijablakoličnik kovarijance danih slučajnih varijabla i umnoška njihovih standardnih devijacija, pri čemu te standardne devijacije nisu jednake nuli | matematika |
