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 x
y in A)
(Pfeil
Fob(x)
Fmo(y) in B)
so daß
-
Fmo(id) = id
-
Fmo((x
y)o(y
z)) = Fmo(x
y)oFmo(y
z)
2009-11-20