Bsp: Kategorie, deren Objekte keine Mengen sind

Zu gegebener Halbordnung (M,≤):

• Objekte: die Elemente von M
• Morphismen: a→b, falls a≤b

(Eigenschaften überprüfen)

unterscheide von:

Kategorie der Halbordnungen:

• Objekte: halbgeordnete Mengen, d. h. Paare (M,≤_M)
• Morphismen: monotone Abbildungen