Конечный функтор
-
Определение конечного функтора
- Конечный функтор обобщает понятие конечного объекта в теории категорий.
- Функтор F: C → D называется конечным, если предел G совпадает с пределом G∘F для любого многозначного функтора G: D → {\textbf {Установить}}.
-
Связь с конечными объектами
- Объект d ∈ Ob(D) является конечным объектом, если функтор {∗} → d D является конечным функтором.
-
Определение начального функтора
- Начальный функтор определяется аналогично конечному, заменяя final на initial и colimit на limit.
-
Рекомендации по оформлению
- Статья содержит инструкции по форматированию и использованию специальных символов.
-
Внешние ссылки
- Статья связана с теорией категорий и является заглушкой.
- Читателей просят помочь расширить статью, чтобы сделать ее полезной для Википедии.
Полный текст статьи: