Функтор Hom
- Функтор Hom связывает объекты в категории с их внутренними Hom-объектами.
- Закрытые категории обладают внутренним функтором Hom.
- Внутренний функтор Hom является сопряженным функтором с внутренним функтором произведения.
- Функтор вида является предпучком, а Hom(A, -) является сопучком.
- Hom(–, -) является профунктором и сохраняет ограничения.
- Внутреннему функтору hom можно задать структуру монады.
- Если A — абелева категория, то HomA (A, -) является ковариантным левосторонним функтором от A до категории Ab абелевых групп.
Полный текст статьи: