Подъемное имущество
Подъемное свойство Статья представляет собой список определений и свойств из теории категорий. Рассматриваются категории групп, топологических пространств и других математических […]
Вики
Category theory
Вики
Список типов функций
Список типов функций Статья представляет собой список математических функций и связанных понятий. Функции могут быть определены различными способами, включая сохранение
Вики
Диагональный функтор
Диагональный функтор Диаграммы в теории категорий используются для описания отношений между объектами и морфизмами. Диагональные функторы позволяют определить пределы диаграмм
Вики
Конус (теория категорий)
Конус (теория категорий) Конус в теории категорий – отображение от объекта к функтору или наоборот. Определение конусов через категорию диаграмм
Вики
Встраивание
Встраивание Вложение – это отображение между множествами, сохраняющее определенные свойства. В геометрии, вложение – это плавное отображение, сохраняющее длину кривых.
Вики
Вселенная Гротендика
Вселенная Гротендика Вселенная Гротендика – множество U с определенными свойствами, обеспечивающее набор для выполнения математических операций. Элементы вселенной Гротендика иногда
Вики
Категория волокна
Категория волокнистых материалов Расслоенные категории – это категории, в которых морфизмы являются отображениями между слоями. Расслоенные категории могут быть определены
Вики
Происхождение (математика)
Происхождение (математика) Идея нисхождения в математике расширяет интуитивную идею “склеивания” в топологии. Топология основана на использовании отношений эквивалентности в топологических
Вики
Доступная категория
Доступная категория Теория доступных категорий – часть математики, описывающая категории в терминах размера операций, необходимых для создания их объектов. Теория
Вики
Стек (математика)
Стек (математика) Алгебраический стек – это категория, объединяющая схемы и пучки. Стек является обобщением категории схем и пучков на топологические
Вики
Аллегория (математика)
Аллегория (математика) Аллегория – это математическая структура, используемая для описания отношений между объектами. Отношения тождества являются диагоналями в X →
Вики
Теорема Мак Лейна о когерентности
Теорема о когерентности Мак-Лейна В теории категорий теорема о когерентности Мак-Лейна утверждает, что каждая диаграмма коммутирует. Встречный пример показывает, что
Вики
Категория модели
Категория модели Категория моделей – это категория, в которой все объекты являются модельными объектами. Модельные структуры в категориях моделей определяют
Вики
Категоризация
Классификация Категоризация в математике заменяет теоретико-множественные теоремы теоретико-категорическими аналогами. Успешная категоризация заменяет множества категориями, функции – функторами, а уравнения –
Вики
Подкатегория
Подкатегория Подкатегория C является категорией, полученной из C путем “удаления” некоторых ее объектов и стрелок. Формальное определение подкатегории включает объекты,
Вики
Категория продукта
Категория продукта Категория продуктов в теории категорий является расширением понятия декартова произведения двух множеств. Категории продуктов используются для определения бифункционеров
Вики
Категория фактора
Частная категория Категория – структура, связывающая объекты и морфизмы. Частная категория – категория, в которой объекты остаются неизменными, а морфизмы
Вики
Ядро (теория категорий)
Ядро (теория категорий) Ядро морфизма в теории категорий – это тип двоичного эквалайзера или разностного ядра. Морфизм k всегда является
Вики
Ваше расширение
Расширение Kan Расширения Kan – это обобщение ко- и левосопряженных функторов. Они позволяют вычислять правые расширения вдоль функтора и имеют