Нулевой объект (алгебра)
Нулевой объект (алгебра) Определение и примеры Нулевой объект – это объект, который не имеет элементов. Примеры включают нулевое кольцо, нулевое […]
Вики
Объекты (теория категорий)
Вики
Объект натуральных чисел
Объект натуральных чисел Определение натуральных чисел в теории категорий NNO – объект с рекурсивной структурой, аналогичной натуральным числам. NNO задается
Вики
Нулевой объект (алгебра)
Нулевой объект (алгебра) Определение и примеры нулевого объекта Нулевой объект – это объект, не имеющий элементов. Примеры включают нулевое кольцо,
Вики
Объект натуральных чисел
Объект натуральных чисел Определение натуральных чисел в теории категорий NNO – объект с рекурсивной структурой, аналогичной натуральным числам. NNO задается
Вики
Фибрантный объект
Волокнистый объект Определение волокнистых объектов Волокнистые объекты в теории гомотопий – это объекты с расслоением над терминальным объектом. Они обладают
Вики
Групповой объект
Групповой объект Определение группового объекта Групповой объект – это объект в категории, который обладает групповой структурой. Групповая структура включает в
Вики
Глобальный элемент
Глобальный элемент Определение глобальных элементов в теории категорий Глобальные элементы объекта A в категории – это морфизмы, где 1 –
Вики
Классификатор подобъектов
Классификатор подобъектов Определение классификатора подобъектов Классификатор подобъектов – это морфизм, который отображает объект в классификатор. Классификатор подобъектов является изоморфизмом в
Вики
Проективный объект
Проективный объект Определение проективного объекта Проективный объект – это объект, который имеет достаточное количество проекций. Проекция – это эпиморфизм, который
Вики
Начальные и конечные объекты
Начальные и конечные объекты Начальные и конечные объекты являются важными понятиями в теории категорий. Категория может иметь или не иметь
Вики
Экспоненциальный объект
Экспоненциальный объект Экспоненциальный объект в категории – это объект, который имеет все бинарные продукты с другим объектом. Экспоненциальный объект определяется