"kategoriteori" er et 13-bokstavers substantiv som brukes som synonym for "restklassealgebra". restklassealgebra betyr: Studiet av kategorier, en abstrakt struktur for matematiske objekter