Категория Клейсли

Категория Kleisli Категория Клейсли связана с любой монадой T и эквивалентна категории свободных T-алгебр.  Категория Клейсли является одним из двух […]

Категория Kleisli

  • Категория Клейсли связана с любой монадой T и эквивалентна категории свободных T-алгебр. 
  • Категория Клейсли является одним из двух экстремальных решений вопроса о возникновении каждой монады из присоединения. 
  • Категория Клейсли названа в честь математика Генриха Клейсли. 
  • Формальное определение категории Клейсли включает объекты и морфизмы, связанные с формулой. 
  • Мак Лэйн использовал альтернативный способ записи категории Клейсли, используя объекты и морфизмы в новой категории. 
  • Композиция стрелок Клейсли может быть кратко выражена с помощью оператора расширения. 
  • Присоединение Клейсли связано с монадой и категорией Клейсли, и можно показать, что GF = T и μ = GeF. 

Полный текст статьи:

Категория Клейсли — Википедия

Оставьте комментарий

Прокрутить вверх