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

  1. 00:15Категория Эйленберга — Мура (повторение)
  2. 03:59Пара функторов, создающих монаду, которая порождает Категория Эйленберга — Мура
  3. 13:50Универсальное свойство категории Эйленберга — Мура
  4. 43:32Монадический функтор
  5. 46:59Примеры
  6. 01:06:29Категория Кейсли