Войти
Лекция 6. Универсальное свойство категории Эйленберга – Мура. Монадические функторы. Категория Клейсли