Конечный функтор

Оглавление1 Конечный функтор1.1 Определение конечного функтора1.2 Связь с конечными объектами1.3 Определение начального функтора1.4 Рекомендации по оформлению1.5 Внешние ссылки2 Конечный функтор […]

Конечный функтор

  • Определение конечного функтора

    • Конечный функтор обобщает понятие конечного объекта в теории категорий. 
    • Функтор F: C → D называется конечным, если предел G совпадает с пределом G∘F для любого многозначного функтора G: D → {\textbf {Установить}}. 
  • Связь с конечными объектами

    • Объект d ∈ Ob(D) является конечным объектом, если функтор {∗} → d D является конечным функтором. 
  • Определение начального функтора

    • Начальный функтор определяется аналогично конечному, заменяя final на initial и colimit на limit. 
  • Рекомендации по оформлению

    • Статья содержит инструкции по форматированию и использованию специальных символов. 
  • Внешние ссылки

    • Статья связана с теорией категорий и является заглушкой. 
    • Читателей просят помочь расширить статью, чтобы сделать ее полезной для Википедии. 

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

Конечный функтор — Википедия

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

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