Functors

Функтор Hom Определение и свойства функтора Hom Функтор Hom отображает объекты одной категории в объекты другой категории.  Hom является обратным

Функтор Определение функтора Функтор – это отображение между категориями, сохраняющее структуру.  Функтор отображает объекты и морфизмы, сохраняя их структуру.  Примеры

Гладкий функтор Гладкий функтор – тип функтора в конечномерных вещественных векторных пространствах.  Гладкий функтор отправляет плавно параметризованные семейства векторных пространств

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

Функтор Hom Функтор Hom связывает объекты в категории с их внутренними Hom-объектами.  Закрытые категории обладают внутренним функтором Hom.  Внутренний функтор

Диаграмма (теория категорий) Диаграмма в теории категорий является категориальным аналогом индексированного семейства в теории множеств.  Индексированное семейство множеств представляет собой

Конец (теория категорий) Функтор – это отображение между категориями, которое сохраняет структуру и имеет обратный функтор.  Коэнда функтора – это

Функтор Функтор – это отображение между категориями, сохраняющее структуру и морфизмы.  Функторы играют важную роль в теории категорий и имеют

Забывчивый функтор Забывчивые функторы удаляют аксиомы, предикаты или типы из структуры категорий.  Функторы первого рода удаляют аксиомы, второго рода –

Естественная трансформация Естественные преобразования играют важную роль в алгебраической топологии и теории категорий.  Они связывают функторы и естественные преобразования, такие