Полуавтомат
Полуавтомат Определение и свойства моноида Моноид – это алгебраическая структура с операцией, которая обладает свойствами ассоциативности и имеет единицу. Моноид […]
Вики
Category theory
Вики
Уточнение (теория категорий)
Уточнение (теория категорий) Определение и примеры уточнений Уточнение – это морфизм, который превращает объект в себя. Обогащение – это морфизм,
Вики
Проекционное покрытие
Проективное покрытие Определение проективного покрытия Проективное покрытие – это пара (P, p), где P – проективный объект, а p –
Вики
Точечно-сюръективный морфизм
Точечный сюръективный морфизм Определение точечной сюръективности В категории с конечным объектом морфизм f:X→Y называется точечно-сюръективным, если для каждого y:1→Y существует
Вики
Операция ложью
Операция лжи Определение операды Ли Операда Ли – это алгебра, чьи алгебры являются алгебрами Ли. Введена Гинзбургом и Капрановым в
Вики
К-теория категории
K-теория категории Определение и история K-теории K-теория – это теория, которая изучает свойства групп, связанных с алгебраической K-теорией колец. K-теория
Вики
Двойственность Исбелла
Двойственность Исбелла Определение и свойства функтора Функтор – это отображение между категориями, сохраняющее структуру. Функтор является гомоморфизмом в категории множеств.
Вики
Начальная алгебра
Начальная алгебра Определение исходной алгебры Исходная алгебра – это объект в категории F-алгебр, который служит основой для индукции и рекурсии.
Вики
Индуцированный гомоморфизм
Индуцированный гомоморфизм Определение и свойства фундаментальной группы Фундаментальная группа – это группа, которая описывает топологические свойства пространства. Она связана с
Вики
Индуцированный гомоморфизм
Индуцированный гомоморфизм Определение фундаментальной группы Фундаментальная группа – это группа, которая описывает топологические свойства пространства. Она определяется как группа классов
Вики
Гиломорфизм (информатика)
Гиломорфизм (информатика) Определение гиломорфизма Гиломорфизм – это отображение, которое отображает элементы одного множества в элементы другого множества, сохраняя при этом
Вики
Хопфиан объект
Объект Хопфа Определение и свойства хопфианских пространств Хопфианское пространство – это топологическое пространство, в котором каждый замкнутый шар является локально
Вики
Гомотопический копредел и предел
Гомотопический предел Определение и примеры Гомотопический предел – это предел в категории топологических пространств, который сохраняет гомотопические свойства. Гомотопическое выталкивание
Вики
Группоидный объект
Групповидный объект Определение и примеры Группоид – это категория, в которой каждый морфизм является изоморфизмом. Примеры включают топологические группы, группы
Вики
Оцениваемая категория
Классифицированная категория Определение классифицированной категории Классифицированная категория – это категория с функтором, связывающим ее с другой категорией. Моноиды и группы
Вики
Обложка Фрейда
Крышка Фрейда Определение категории покрытия Фрейда Категория покрытия Фрейда (scone) выводит из исходной категории конструкцию, подобную множеству. Исходная категория должна
Вики
Система факторизации
Система факторизации Определение модельной категории Модельная категория – это категория с определенной структурой, которая позволяет изучать свойства объектов и морфизмов.
Вики
Обширная категория
Обширная категория Определение экстенсивной категории Экстенсивная категория C имеет конечные непересекающиеся побочные продукты. Функтор копроизведения в категории среза C /X
Вики
Точное завершение
Точное завершение Определение точного завершения В теории категорий точное завершение создает точную категорию из любой конечно полной категории. Используется для
Вики
Конверт (теория категорий)
Оболочка (теория категорий) Определение и свойства огибающих Огибающая – это функтор, который отображает класс объектов в класс морфизмов. Огибающие могут