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