Kategorien: einfache Beispiele

Kategorie der Mengen:

• Objekte: Mengen
• Morphismen: Funktionen

Kategorie der Datentypen:

• Objekte: (Haskell-)Datentypen
• Morphismen: (Haskell-definierbare) Funktionen

Kategorie der Vektorräume (über gegebenem Körper K)

• Objekte: Vektorräume über K
• Morphismen: K-lineare Abbildungen

(Übung: Eigenschaften nachrechnen)