Оглавление
Формальные критерии для сопряженных функторов
-
Основы теории категорий
- Теория категорий использует формальные критерии для сопряженных функторов.
- Функтор G между категориями B и A имеет левое сопряжение, если он сохраняет ограничения и существует семейство морфизмов, связывающих G с каждым объектом A.
-
Критерии существования левого сопряжения
- Фрейдов критерий утверждает, что если B является завершенной категорией, то G имеет левое сопряжение тогда и только тогда, когда для каждого объекта x в A существует предел lim(x↓G) в B.
- Критерий Кана утверждает, что G имеет левое сопряжение, если оно сохраняет пределы и существует правое расширение Kan G!1B вдоль G.
-
Дополнительные сведения
- В статье также упоминаются анафункторы и рекомендации по цитированию.
- Статья содержит библиографию и ссылки на внешние ресурсы.
-
Заметка о статье
- Статья является заглушкой и предлагает помощь в расширении Википедии.
Полный текст статьи: