Монада (математика)
Материал из Википедии — свободной энциклопедии
Монада в теории категорий — это тройка (T, η, μ), где:
- функтор из категории K в себя,
- естественное преобразование
- естественное преобразование
- следующая диаграмма коммутативна (ассоциативность):
- следующая диаграмма коммутативна (двухсторонняя единица):
Дуальное категорное понятие монады называется Комонада.
[править] Смотрите также
- Теорема Бека (теория категорий)