kategori

flokkur

1. en grupp av något

2. (matematik) en abstrakt matematisk struktur 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 partiell binär kompositionsoperator på mängden av morfismer