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