функторы

Диапазон (теория категорий) Определение и примеры категорий Категория — это множество объектов с набором морфизмов между ними.  Примеры категорий включают […]

Подфунктор Определение подфунктора Подфунктор — это контравариантный функтор, который отображает объекты в подмножества.  Для всех объектов c из C, G(c)

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

Профунктор Определение и свойства профунктора Профунктор — это морфизм между функторами, который сохраняет структуру морфизмов.  Профункторы могут быть определены как

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

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

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

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

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

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

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

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

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

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