Инъективный объект
Вводный объект Инъективный объект в математике — обобщение понятия инъективного модуля. Понятие инъективности важно в когомологиях, теории гомотопий и теории […]
Вики
Category theory
Вики
Колчан (математика)
Колчан (математика) Колчан — это ориентированный граф с циклами и стрелками между вершинами. Колчаны используются в теории представлений для присвоения
Вики
Кольцо эндоморфизма
Кольцо эндоморфизма Кольца эндоморфизмов являются важным понятием в теории модулей. Эндоморфизмы модуля определяют гомоморфизмы между подмодулями. Кольцо эндоморфизмов может иметь
Вики
Скелет (теория категорий)
Каркас (теория категорий) Скелет категории — это подкатегория, не содержащая посторонних изоморфизмов. Скелет категории является «наименьшей» эквивалентной категорией, отражающей все
Вики
Монада (теория категорий)
Монада (теория категорий) Монады — это категории, которые моделируют вычисления с учетом состояния или доступа к данным. В функциональном программировании
Вики
Аргумент Экмана-Хилтона
Спор Экмана и Хилтона Экман и Хилтон предложили принцип, связывающий ассоциативность операций с моноидными структурами. Принцип утверждает, что если операции
Вики
Декартова моноидальная категория
Декартова моноидальная категория В математике, декартова моноидальная категория обладает особыми и важными свойствами. Декартовы категории с внутренним функтором Hom называются
Вики
Условие когерентности
Условие согласованности Условие когерентности в математике требует, чтобы различные композиции элементарных морфизмов были одинаковыми. Элементарные морфизмы являются частью данных категории.
Вики
Связка (математика)
Связка (математика) Расслоение — это тройка (E, p, B), где E, B — множества, а p : E → B
Вики
Конверт Каруби
Конверт из Каруби Оболочка Каруби — категория, которая разделяет идемпотенты в категории C. Категория Split(C) соответствует разделению огибающей Каруби. Оболочка
Вики
Подъемное имущество
Подъемное свойство Статья представляет собой список определений и свойств из теории категорий. Рассматриваются категории групп, топологических пространств и других математических
Вики
Список типов функций
Список типов функций Статья представляет собой список математических функций и связанных понятий. Функции могут быть определены различными способами, включая сохранение
Вики
Диагональный функтор
Диагональный функтор Диаграммы в теории категорий используются для описания отношений между объектами и морфизмами. Диагональные функторы позволяют определить пределы диаграмм
Вики
Конус (теория категорий)
Конус (теория категорий) Конус в теории категорий — отображение от объекта к функтору или наоборот. Определение конусов через категорию диаграмм
Вики
Встраивание
Встраивание Вложение — это отображение между множествами, сохраняющее определенные свойства. В геометрии, вложение — это плавное отображение, сохраняющее длину кривых.
Вики
Вселенная Гротендика
Вселенная Гротендика Вселенная Гротендика — множество U с определенными свойствами, обеспечивающее набор для выполнения математических операций. Элементы вселенной Гротендика иногда
Вики
Категория волокна
Категория волокнистых материалов Расслоенные категории — это категории, в которых морфизмы являются отображениями между слоями. Расслоенные категории могут быть определены
Вики
Происхождение (математика)
Происхождение (математика) Идея нисхождения в математике расширяет интуитивную идею «склеивания» в топологии. Топология основана на использовании отношений эквивалентности в топологических
Вики
Доступная категория
Доступная категория Теория доступных категорий — часть математики, описывающая категории в терминах размера операций, необходимых для создания их объектов. Теория