1
Natürliches Vorkommen von Monaden, die den kategorietheoretischen Rahmen nutzen
Ein Vortrag von Henning Kerstan ("Spurensemantik für probabilistische Übergangssysteme") hat mich heute erstmals mit Kategorietheorie konfrontiert. Er hat einen theoretischen Rahmen für die allgemeine Beschreibung probablistischer Übergangssysteme und ihres Verhaltens geschaffen, dh mit unzähligen unendlichen Zustandssätzen und unterschiedlichen Vorstellungen von Spuren. Zu diesem Zweck durchläuft er mehrere Abstraktionsebenen, um schließlich …