Category theory

Вики

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

/

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

Вики

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

/

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

Вики

Группоид

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Кокернел

/

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

Вики

Ядро (теория категорий)

/

Ядро (теория категорий) Ядро морфизма в теории категорий — это тип двоичного эквалайзера или разностного ядра.  Морфизм k всегда является

Вики

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

/

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

Вики

Категория бетона

/

Конкретная категория Категория — это множество объектов с набором морфизмов между ними.  Конкретизация категории — это представление ее объектов и

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

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