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

Монада в теории категорий — это тройка (T, η, μ), где:

  • T: K \to K функтор из категории K в себя,
  • \eta: 1_K \to T естественное преобразование
  • \mu: T^2 \to T естественное преобразование
  • следующая диаграмма коммутативна (ассоциативность):
  • следующая диаграмма коммутативна (двухсторонняя единица):

Дуальное категорное понятие монады называется Комонада.


Смотрите также

  • Теорема Бека (теория категорий)
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home