Русская Википедия:Монада (теория категорий)

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Значения Монада в теории категорий — тройка <math>(T, \eta, \mu)</math>, где:

Файл:Monad multiplication.svg
  • следующая диаграмма коммутативна (двухсторонняя единица):
Файл:Monad unit.png

Монада может быть определена через общее понятие моноида в моноидальной категории. Монада над категорией <math>K</math> — это моноид в моноидальной категории эндофункторов <math>\mathrm{End}(K)</math>.

Дуальное категорное понятие для монады — Шаблон:Iw.

Ссылки

Шаблон:Rq