Kategorie

Eine Kollektion von Objekten zusammen mit für jedes geordnete Paar von Objekten X,Y einer Menge Hom(X,Y) von Morphismen und einer assoziativen Kompositionsregel ◦ : Hom(Y,Z)×Hom(X,Y) → Hom(X,Z) sowie Identitätsmorphismen id_X für jedes Objekt, die id_Y ◦ f = f und f ◦ id_X = f erfüllen.