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).