По существу сюръективный функтор
- В математике функтор является сюръективным, если каждый объект от D изоморфен объекту вида Fc для какого-то объекта c от C.
- Любой функтор, являющийся частью эквивалентности категорий, по существу сюръективен.
- Полный и верный функтор, который по существу сюръективен, является частью эквивалентности категорий.
Полный текст статьи: