(matematik) en abstraktmatematiskstruktur som används för att relatera olika typer av strukturer med varandra: varje kategori består av objekt och morfismer mellan par av objekt – domänobjektet och kodomänobjektet – samt en partiellbinär kompositionsoperator på mängden av morfismer