Теория категорий

Вики

Происхождение (математика)

/

Происхождение (математика) Идея нисхождения в математике расширяет интуитивную идею «склеивания» в топологии.  Топология основана на использовании отношений эквивалентности в топологических […]

Вики

Категория AB5

/

Категория AB5 Статья Александра Гротендика представляет последовательность аксиом различных категорий с симметричной моноидальной категорией абелевых групп.  Абелевы категории иногда называют

Вики

Стек (математика)

/

Стек (математика) Алгебраический стек — это категория, объединяющая схемы и пучки.  Стек является обобщением категории схем и пучков на топологические

Вики

Кванталоид

/

Кванталоид Кванталоид — категория, обогащенная по сравнению с категорией суперплоскостей.  Объекты морфизма между объектами в кванталоиде являются полными решетками.  Композиция

Вики

Аллегория (математика)

/

Аллегория (математика) Аллегория — это математическая структура, используемая для описания отношений между объектами.  Отношения тождества являются диагоналями в X →

Вики

Группоид

/

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

Вики

Теорема Мак Лейна о когерентности

/

Теорема о когерентности Мак-Лейна В теории категорий теорема о когерентности Мак-Лейна утверждает, что каждая диаграмма коммутирует.  Встречный пример показывает, что

Вики

Категория модели

/

Категория модели Категория моделей — это категория, в которой все объекты являются модельными объектами.  Модельные структуры в категориях моделей определяют

Вики

Категоризация

/

Классификация Категоризация в математике заменяет теоретико-множественные теоремы теоретико-категорическими аналогами.  Успешная категоризация заменяет множества категориями, функции — функторами, а уравнения —

Вики

Подкатегория

/

Подкатегория Подкатегория C является категорией, полученной из C путем «удаления» некоторых ее объектов и стрелок.  Формальное определение подкатегории включает объекты,

Вики

Категория продукта

/

Категория продукта Категория продуктов в теории категорий является расширением понятия декартова произведения двух множеств.  Категории продуктов используются для определения бифункционеров

Вики

Категория фактора

/

Частная категория Категория — структура, связывающая объекты и морфизмы.  Частная категория — категория, в которой объекты остаются неизменными, а морфизмы

Вики

Кокернел

/

Коядро Второе ядро линейного отображения векторных пространств f: X → Y является фактор-пространством Y / im (f) кодовой области f

Вики

Ваше расширение

/

Расширение Kan Расширения Kan — это обобщение ко- и левосопряженных функторов.  Они позволяют вычислять правые расширения вдоль функтора и имеют

Вики

Глоссарий теории категорий

/

Глоссарий по теории категорий Статья представляет собой глоссарий свойств и понятий теории категорий в математике.  В статье игнорируются вопросы теории

Вики

Расширенная категория

/

Обогащенная категория Расширенные категории обогащают обычные категории дополнительной структурой или свойствами.  Примеры обогащенных категорий включают категории, обогащенные моноидальными категориями.  Обогащенные

Вики

Прикладная теория категорий

/

Прикладная теория категорий Прикладная теория категорий — академическая дисциплина, использующая методы теории категорий для изучения других областей.  Применение теории категорий

Вики

Бессмысленная топология

/

Бессмысленная топология Бессмысленная топология основана на концепции «реалистичного пятна» вместо точки без протяженности.  Топологическое пространство состоит из множества точек и

Вики

Алгебра многомерных измерений

/

Многомерная алгебра Многомерная алгебра изучает категоризированные структуры в математике, особенно в теории высших категорий.  Концепция многомерных категорий включает 2-ю категорию

Прокрутить вверх