Происхождение (математика)
Происхождение (математика) Идея нисхождения в математике расширяет интуитивную идею «склеивания» в топологии. Топология основана на использовании отношений эквивалентности в топологических […]
Происхождение (математика) Идея нисхождения в математике расширяет интуитивную идею «склеивания» в топологии. Топология основана на использовании отношений эквивалентности в топологических […]
Категория AB5 Статья Александра Гротендика представляет последовательность аксиом различных категорий с симметричной моноидальной категорией абелевых групп. Абелевы категории иногда называют
Стек (математика) Алгебраический стек — это категория, объединяющая схемы и пучки. Стек является обобщением категории схем и пучков на топологические
Кванталоид Кванталоид — категория, обогащенная по сравнению с категорией суперплоскостей. Объекты морфизма между объектами в кванталоиде являются полными решетками. Композиция
Аллегория (математика) Аллегория — это математическая структура, используемая для описания отношений между объектами. Отношения тождества являются диагоналями в X →
Теорема о когерентности Мак-Лейна В теории категорий теорема о когерентности Мак-Лейна утверждает, что каждая диаграмма коммутирует. Встречный пример показывает, что
Категория модели Категория моделей — это категория, в которой все объекты являются модельными объектами. Модельные структуры в категориях моделей определяют
Классификация Категоризация в математике заменяет теоретико-множественные теоремы теоретико-категорическими аналогами. Успешная категоризация заменяет множества категориями, функции — функторами, а уравнения —
Подкатегория Подкатегория C является категорией, полученной из C путем «удаления» некоторых ее объектов и стрелок. Формальное определение подкатегории включает объекты,
Категория продукта Категория продуктов в теории категорий является расширением понятия декартова произведения двух множеств. Категории продуктов используются для определения бифункционеров
Частная категория Категория — структура, связывающая объекты и морфизмы. Частная категория — категория, в которой объекты остаются неизменными, а морфизмы
Расширение Kan Расширения Kan — это обобщение ко- и левосопряженных функторов. Они позволяют вычислять правые расширения вдоль функтора и имеют
Основные положения теории категорий Теория категорий — область математики, изучающая свойства математических понятий через формализацию их в виде наборов объектов
Глоссарий по теории категорий Статья представляет собой глоссарий свойств и понятий теории категорий в математике. В статье игнорируются вопросы теории
Обогащенная категория Расширенные категории обогащают обычные категории дополнительной структурой или свойствами. Примеры обогащенных категорий включают категории, обогащенные моноидальными категориями. Обогащенные
Прикладная теория категорий Прикладная теория категорий — академическая дисциплина, использующая методы теории категорий для изучения других областей. Применение теории категорий
Бессмысленная топология Бессмысленная топология основана на концепции «реалистичного пятна» вместо точки без протяженности. Топологическое пространство состоит из множества точек и
Хронология развития теории категорий и связанной с ней математики Статья представляет собой обзор истории и развития теории категорий и топосов
Многомерная алгебра Многомерная алгебра изучает категоризированные структуры в математике, особенно в теории высших категорий. Концепция многомерных категорий включает 2-ю категорию