Монада (математика)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Монада в теории категорий — тройка (T, \eta, \mu), где:

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

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

Дуальное категорное понятие для монады — комонада[en].

Ссылки[править | править вики-текст]