Полные и верные функторы
-
Определение функторов
- Верный функтор инъективен на hom-множествах
- Полный функтор сюръективен на hom-множествах
- Полностью верный функтор биективен на hom-множествах
-
Свойства функторов
- Верный функтор не обязательно инъективен для объектов или морфизмов
- Полный функтор не обязательно сюръективен для объектов или морфизмов
- Полный и точный функтор инъективен для объектов с точностью до изоморфизма
-
Примеры функторов
- Забывчивый функтор U : Grp → Set является верным, но не полным
- Функтор включения Ab → Grp полностью верен
-
Обобщение на (∞, 1)-категории
- В (∞, 1)-категориях нет понятия полного или верного функтора
- Функтор квазикатегорий полностью верен, если отображение FX,Y является слабой эквивалентностью