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

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

Монада в теории категорий — тройка , где:

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

Монада может быть определена через общее понятие моноида в моноидальной категории. Монада над категорией  — это моноид в моноидальной категории эндофункторов .

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

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