Полные и точные функторы

Полные и верные функторы Определение функторов Верный функтор инъективен на hom-множествах   Полный функтор сюръективен на hom-множествах   Полностью верный функтор биективен […]

Полные и верные функторы

  • Определение функторов

    • Верный функтор инъективен на hom-множествах  
    • Полный функтор сюръективен на hom-множествах  
    • Полностью верный функтор биективен на hom-множествах  
  • Свойства функторов

    • Верный функтор не обязательно инъективен для объектов или морфизмов  
    • Полный функтор не обязательно сюръективен для объектов или морфизмов  
    • Полный и точный функтор инъективен для объектов с точностью до изоморфизма  
  • Примеры функторов

    • Забывчивый функтор U : Grp → Set является верным, но не полным  
    • Функтор включения Ab → Grp полностью верен  
  • Обобщение на (∞, 1)-категории

    • В (∞, 1)-категориях нет понятия полного или верного функтора  
    • Функтор квазикатегорий полностью верен, если отображение FX,Y является слабой эквивалентностью  

Полный текст статьи:

Полные и точные функторы

Оставьте комментарий

Прокрутить вверх