По существу сюръективный функтор

В математике , особенно в теории категорий , функтор

F:C\to D

если по существу сюръективен, каждый объект $d$ из $D$ изоморфен объекту вида $Fc$ для какого-то объекта $c$ из $C$ .

Любой функтор, входящий в эквивалентность категорий , по существу сюръективен. Частично обратное: любой полный и точный функтор , который по существу сюръективен, является частью эквивалентности категорий. ^[1]

Примечания [ править ]

^ Мак Лейн (1998), Теорема IV.4.1

Ссылки [ править ]

Мак Лейн, Сондерс (сентябрь 1998 г.). Категории для работающего математика (второе изд.). Спрингер. ISBN 0-387-98403-8 .
Риль, Эмили (2016). Теория категорий в контексте . Dover Publications, Inc. Минеола, Нью-Йорк. ISBN 9780486809038 .

Внешние ссылки [ править ]

По существу сюръективный функтор в n Lab

Эта теории категорий статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

[1] Мак Лейн (1998), Теорема IV.4.1

[1]