По существу сюръективный функтор
(Перенаправлено с «По существу сюръективно» )
В математике , особенно в теории категорий , функтор
если по существу сюръективен, каждый объект из изоморфен объекту вида для какого-то объекта из .
Любой функтор, входящий в эквивалентность категорий , по существу сюръективен. Частично обратное: любой полный и точный функтор , который по существу сюръективен, является частью эквивалентности категорий. [ 1 ]
Примечания
[ редактировать ]- ^ Мак Лейн (1998), Теорема IV.4.1
Ссылки
[ редактировать ]- Мак Лейн, Сондерс (сентябрь 1998 г.). Категории для работающего математика (второе изд.). Спрингер. ISBN 0-387-98403-8 .
- Риль, Эмили (2016). Теория категорий в контексте . Dover Publications, Inc. Минеола, Нью-Йорк. ISBN 9780486809038 .
Внешние ссылки
[ редактировать ]
 | Эта теории категорий статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |