Ваше расширение — Википедия

Расширение Kan Расширения Kan — это обобщение ко- и левосопряженных функторов.  Они позволяют вычислять правые расширения вдоль функтора и имеют […]

Расширение Kan

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

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

Ваше расширение — Википедия

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

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