Полные и верные функторы
- Верный функтор – функтор, инъективный на hom-множествах.
- Полный функтор – функтор, сюръективный на hom-множествах.
- Полностью верный функтор – функтор, биективный на hom-множествах.
- Верный функтор не обязательно должен быть инъективным или полным для объектов или морфизмов.
- Полный функтор не обязательно должен быть сюръективным для объектов или морфизмов.
- В (∞, 1)-категориях понятия инъекции и сюръекции не являются гомотопически инвариантными.
- Функтор квазикатегорий считается полностью верным, если для каждого X и Y в C отображение F X,Y – слабая эквивалентность.
Полный текст статьи: