kategori – matematikk

Uttale
kategorˈi
Etymologi
av gr. 'si noe om eller imot, anklage'

Begrep innen den algebraiske topologi, dannet som en abstraksjon av begrepet «sammensetning av avbildninger». Matematisk kategoriteori ble først utviklet omkring 1950 av de amerikanske matematikerne Samuel Eilenberg og Saunders Mac Lane. Senere har kategoribegrepet vært med på å bringe mange forskjellige matematiske situasjoner inn under en felles synsvinkel, og begrepet har anvendelser innen algebra, algebraisk geometri, logikk og EDB.