Kategorie der Datentypen:
- Objekte (Punkte): Typen
- Morphismen (Pfeile): (einstellige) Funktionen
Funktor F von Kategorie A nach Kategorie B
-
Fob : (Objekt in A) (Objekt in B)
-
Fmo : (Pfeil xy in A)
(Pfeil
Fob(x)Fmo(y) in B)
so daß
-
Fmo(id) = id
-
Fmo((xy)o(yz)) = Fmo(xy)oFmo(yz)
2009-11-20