Die meisten Ressourcen zu kategorialen Begriffen in der Programmierung beschreiben Monaden, aber ich habe noch nie eine kategoriale Beschreibung von Monadentransformatoren gesehen.
Wie könnten Monadentransformatoren im Sinne der Kategorietheorie beschrieben werden?
Insbesondere würde mich interessieren:
- die Beziehung zwischen Monadentransformatoren und ihren entsprechenden Basismonaden;
- die Beziehung zwischen ihnen und den Monaden, die sie in neue Monaden verwandeln;
- Monadentransformatorstapel.