Hintergrund zu Monaden

Kleisli-Kategorie K zu einem Endo-Funktor F einer Kategorie C:

Das wird eine Kategorie, wenn man definiert:

so daß die nötigen Eigenschaften gelten (Neutralität, Assoziativität)



Johannes Waldmann 2011-01-18