Инди-завершение — Википедия
Завершение строительства Определение ind-завершения Ind-завершение — это процесс добавления отфильтрованных значений в категорию C. Прямые системы в категории C определяются […]
Вики
Functors
Вики
Действие моноидальной категории — Википедия
Действие моноидальной категории Определение действия моноидальной категории Моноидальная категория S действует на категорию X, формируя функтор с естественными изоморфизмами. Естественные
Вики
Функтор Hom — Википедия
Функтор Hom Определение и свойства функтора Hom Функтор Hom отображает объекты одной категории в объекты другой категории. Hom является обратным
Вики
Функтор Hom — Википедия
Функтор Hom Определение и свойства функтора Hom Функтор Hom отображает объекты одной категории в объекты другой категории. Hom является обратным
Вики
Инди-завершение — Википедия
Завершение строительства Определение ind-завершения Ind-завершение — это процесс добавления отфильтрованных значений в категорию C. Прямые системы в категории C определяются
Вики
Спан (теория категорий) — Википедия
Диапазон (теория категорий) Определение и примеры категорий Категория — это множество объектов с набором морфизмов между ними. Примеры категорий включают
Вики
Спан (теория категорий) — Википедия
Диапазон (теория категорий) Определение и примеры категорий Категория — это множество объектов с набором морфизмов между ними. Примеры категорий включают
Вики
Конечный функтор — Википедия
Конечный функтор Определение конечного функтора Конечный функтор обобщает понятие конечного объекта в теории категорий. Функтор F: C → D называется
Вики
Конец (теория категорий) — Википедия
Конец (теория категорий) Определение функтора Функтор — это отображение между категориями, сохраняющее структуру. Функтор S: C → X состоит из
Вики
Естественная трансформация — Википедия
Естественная трансформация Определение естественной трансформации Естественная трансформация — это функция, которая связывает два функтора. Она удовлетворяет свойству когерентности, которое гарантирует,
Вики
Субфунктор — Википедия
Подфунктор Определение подфунктора Подфунктор — это контравариантный функтор, который отображает объекты в подмножества. Для всех объектов c из C, G(c)
Вики
Естественная трансформация — Википедия
Естественная трансформация Определение и примеры естественных преобразований Естественные преобразования — это отображения между функторами, которые сохраняют структуру функтора. Примеры включают
Вики
Предпучок (теория категорий) — Википедия
Предварительный пучок (теория категорий) Определение и свойства функтора Функтор — это отображение между категориями, сохраняющее структуру. Функтор является гомоморфизмом в
Вики
Симплициальный предпучок — Википедия
Симплициальный предварительный пучок Определение симплициального предпучка Симплициальный предпучок — это функтор, принимающий значения в симплициальных множествах. Введен А. Джойалом в
Вики
Функтор Шура — Википедия
Функтор Шура Определение функторов Шура Функторы Шура обобщают конструкции внешних и симметричных степеней векторного пространства. Индексируются диаграммами Юнга, где горизонтальная
Вики
Естественная трансформация — Википедия
Естественная трансформация Определение и примеры естественных преобразований Естественные преобразования — это отображения между функторами, сохраняющие структуру функтора. Примеры включают гомоморфизмы
Вики
Инди-завершение — Википедия
Завершение строительства Определение ind-завершения Ind-завершение — это процесс добавления отфильтрованных значений в категорию C. Прямые системы в категории C определяются
Вики
Исчисление функторов — Википедия
Исчисление функторов Определение и применение исчисления функторов Исчисление функторов — это математический метод, который позволяет изучать свойства функций, используя категории.
Вики
Предпучок (теория категорий) — Википедия
Предварительный пучок (теория категорий) Определение и свойства функтора Функтор — это отображение между категориями, сохраняющее структуру. Функтор является гомоморфизмом в
Вики
Естественная трансформация — Википедия
Естественная трансформация Определение и примеры естественных преобразований Естественные преобразования — это отображения между функторами, сохраняющие структуру функтора. Примеры включают гомоморфизмы
Вики
Функтор — Википедия
Функтор Определение функтора Функтор — это отображение между категориями, сохраняющее структуру. Функтор отображает объекты и морфизмы, сохраняя их структуру. Примеры