NI
Вот есть у нас категория монад и из неё можно сделать забывающий функтор в какую-то более простую категорию.
Этот забывающий — правый сопряжённый.
И левый сопряжённый к нему из той более простой категории делает монаду.
Например, забывающий правый сопряжённый функтор из категории монад в категорию просто эндофункторов.
Соответственно, левый сопряжённый к нему из любого эндофунктора делает монаду.
Этот забывающий — правый сопряжённый.
И левый сопряжённый к нему из той более простой категории делает монаду.
Например, забывающий правый сопряжённый функтор из категории монад в категорию просто эндофункторов.
Соответственно, левый сопряжённый к нему из любого эндофунктора делает монаду.
