Gesetze für Funktoren (I)

Kategorie der Datentypen:

• Objekte (Punkte): Typen
• Morphismen (Pfeile): (einstellige) Funktionen

Funktor F von Kategorie A nach Kategorie B

• F_ob : (Objekt in A) $\mapsto$ (Objekt in B)
• F_mo : (Pfeil x$\to$y in A) $\mapsto$ (Pfeil F_ob(x)$\to$F_mo(y) in B)

so daß

• F_mo(id) = id
• F_mo((x$\to$y)o(y$\to$z)) = F_mo(x$\to$y)oF_mo(y$\to$z)