Geordnete Menge/Kategorie/Beispiel

Aus Wikiversity

Es sei eine geordnete Menge. Man kann als eine Kategorie auffassen, indem man die Elemente aus als Objekte nimmt und für Elemente

festlegt. Im Fall ist also die Morphismenmenge einelementig, sonst leer. Die Wahl des Paares als Repräsentant einer einelementigen Menge ist zwar natürlich, aber nicht entscheidend für diese Konstruktion. Die kategoriellen Verknüpfungseigenschaften beruhen auf der Reflexivität und der Transitivität einer Ordnungsrelation (die Antisymmetrie ist für diese kategorielle Interpreation nicht wichtig).