Категория симплекс
Простая категория Симплексная категория — категория непустых конечных ординалов и сохраняющих порядок функций. Категория создается с помощью карт coface и […]
Вики
Вики
Категория модели
Категория модели Категория моделей — это категория, в которой все объекты являются модельными объектами. Модельные структуры в категориях моделей определяют
Вики
Категоризация
Классификация Категоризация в математике заменяет теоретико-множественные теоремы теоретико-категорическими аналогами. Успешная категоризация заменяет множества категориями, функции — функторами, а уравнения —
Вики
Подкатегория
Подкатегория Подкатегория C является категорией, полученной из C путем «удаления» некоторых ее объектов и стрелок. Формальное определение подкатегории включает объекты,
Вики
Категория запятой
Категория с запятой Категория с запятой — это категория, в которой объекты и морфизмы связаны с двумя другими категориями. Забывающие
Вики
Категория продукта
Категория продукта Категория продуктов в теории категорий является расширением понятия декартова произведения двух множеств. Категории продуктов используются для определения бифункционеров
Вики
Категория фактора
Частная категория Категория — структура, связывающая объекты и морфизмы. Частная категория — категория, в которой объекты остаются неизменными, а морфизмы
Вики
Категория Клейсли
Категория Kleisli Категория Клейсли связана с любой монадой T и эквивалентна категории свободных T-алгебр. Категория Клейсли является одним из двух
Вики
Бесплатная категория
Бесплатная категория Свободная категория или категория траекторий генерируется ориентированным графом или колчаном. Объекты категории — это вершины колчана, а морфизмы
Вики
Категория модулей
Категория модулей Категория левых модулей над кольцом R — это категория, объекты которой являются левыми модулями над R и морфизмы
Вики
Категория колец
Категория колец Кольца — это алгебраические структуры, которые обладают свойствами, аналогичными группам. Кольца имеют множество объектов и морфизмов, связанных с
Вики
Категория абелевых групп
Категория абелевых групп Категория Ab имеет абелевы группы и групповые гомоморфизмы в качестве объектов и морфизмов. Ab является прототипом абелевой
Вики
Категория групп
Категория групп Категория Grp содержит класс всех групп и групповые гомоморфизмы для морфизмов. Изучение теории групп является конкретной категорией. Есть
Вики
Магма (алгебра)
Магма (алгебра) В абстрактной алгебре магма, бинар или группоид являются базовыми алгебраическими структурами. Термин «группоид» был введен в 1927 году
Вики
Категория отношений
Категория отношений Категория Rel относится к классу множеств и бинарных отношений как морфизмов. Морфизм R: A → B в категории
Вики
Категория наборов
Категория наборов Категория множеств является фундаментальной категорией в математике. Множество является объектом категории множеств, а морфизмы между множествами образуют морфизмы
Вики
Разнообразие (универсальная алгебра)
Многообразие (универсальная алгебра) Алгебраическая структура — множество объектов с определенными операциями и тождествами. Универсальная алгебра изучает множество алгебраических структур и
Вики
Прямой лимит
Прямой лимит Прямой предел — это универсальный объект, который является целью для каждой направленной системы. Не каждая прямая система в
Вики
Pushout (теория категорий)
Выталкивание (теория категорий) Выталкивание — это операция в категории, которая объединяет два объекта в один. Выталкивание может быть определено как
Вики
Коэквалайзер
Уравнитель Уравнитель — обобщение частного с помощью отношения эквивалентности для объектов произвольной категории. Коэквивалайзер параллельных морфизмов f и g определяется