Расширение Kan
- Расширения Kan — это обобщение ко- и левосопряженных функторов.
- Они позволяют вычислять правые расширения вдоль функтора и имеют приложения в монадах кодовой плотности.
- Расширения Kan могут быть вычислены с помощью формулы, если правый функтор имеет достаточное количество соотношений.
- Ограничения как расширения Kan могут быть выражены с помощью уникального функтора.
- Левое сопряжение и правое сопряжение существуют и сохраняются с помощью функтора, если существует соответствующее расширение Kan.
- Расширения Kan имеют приложения в монадах кодовой плотности и могут быть доказаны независимо от модели.
Полный текст статьи: