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

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

${\ displaystyle F: C \ to D}$

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

Любой функтор, являющийся частью эквивалентности категорий, по существу сюръективен. В качестве частичного обращения любой полный и точный функтор, который существенно сюръективен, является частью эквивалентности категорий.

Ноты

Ссылки

• Мак-Лейн, Сондерс (сентябрь 1998 г.). Категории для рабочего математика (второе изд.). Springer. ISBN 0-387-98403-8.

внешние ссылки

• Сюръективный функтор в nLab

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