In der
Kategorientheorie (einem Teilgebiet der
Mathematik) betrachtet man so genannte
(abstrakte) Kategorien, die jeweils gegeben sind durch eine
Klasse von
Objekten und für je zwei Objekte
und
eine Klasse von
Morphismen von
nach
(auch als
Pfeile bezeichnet).