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

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

${ displaystyle F: C to D}$

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

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

Примечания

Рекомендации

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

внешняя ссылка

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

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