Диагональный морфизм
Диагональный морфизм Диагональный морфизм в теории категорий Для каждого объекта a в категории C, где существует продукт a × a, […]
Вики
Category theory stubs
Вики
Рефлекторная связка
Рефлексивный пучок Определение рефлексивного пучка Рефлексивный пучок — это когерентный пучок, изоморфный своему второму двойнику через каноническое отображение. Второй дуал
Вики
Бикатегория – Arc.Ask3.Ru
Двухкатегория Определение бикатегории Бикатегория (слабая 2-я категория) расширяет понятие категории, рассматривая случаи, когда состав морфизмов не строго ассоциативен, а ассоциативен
Вики
Двойственность Исбелла
Двойственность Исбелла Определение и свойства функтора Функтор – это отображение между категориями, сохраняющее структуру. Функтор является гомоморфизмом в категории множеств.
Вики
Оцениваемая категория
Классифицированная категория Определение классифицированной категории Классифицированная категория – это категория с функтором, связывающим ее с другой категорией. Моноиды и группы
Вики
Обложка Фрейда
Крышка Фрейда Определение категории покрытия Фрейда Категория покрытия Фрейда (scone) выводит из исходной категории конструкцию, подобную множеству. Исходная категория должна
Вики
Обширная категория
Обширная категория Определение экстенсивной категории Экстенсивная категория C имеет конечные непересекающиеся побочные продукты. Функтор копроизведения в категории среза C /X
Вики
Котройная гомология
Общая гомология Определение гомологии в алгебре Гомология в алгебре связана с тройными гомологиями объектов в категории C. Тройная гомология объекта
Вики
Категория клея
Категория клея Определение адгезивной категории Адгезивная категория – категория с мономорфизмами, имеющими выталкивания. Примеры адгезивных категорий: направленные мультиграфы и теория
Вики
Диалектическое пространство
Диалектическое пространство Основы диалектических пространств Диалектические пространства – это способ моделирования линейной логики. Представлены Валерией де Пайва как способ интерпретации
Вики
Категория устройства вставки
Категория для вставки Определение категории вставки Категория вставки Ins(F, G) является категорией, где два функтора F и G имеют одну
Вики
Категория дистрибутива
Распределительная категория Определение дистрибутивной категории Категория является дистрибутивной, если она обладает конечными произведениями и копроизведениями. Канонические карты в категории являются
Вики
Конечный функтор
Конечный функтор Определение конечного функтора Конечный функтор обобщает понятие конечного объекта в теории категорий. Функтор F: C → D называется
Вики
Категория конечномерных гильбертовых пространств
Категория конечномерных гильбертовых пространств Категория FdHilb в математике Категория FdHilb включает конечномерные гильбертовы пространства и линейные преобразования между ними. Категория
Вики
Q-категория
Q-категория Определение Q-категории Q-категория – это “упрощенная версия сайта Гротендика” Категория Q является корефлексивной подкатегорией Буква Q означает “частное” История
Вики
Двойственность Исбелла
Двойственность Исбелла Определение и свойства функтора Функтор – это отображение между категориями, сохраняющее структуру. Функтор является гомоморфизмом в категории множеств.
Вики
Глобальный элемент
Глобальный элемент Определение глобальных элементов в теории категорий Глобальные элементы объекта A в категории – это морфизмы, где 1 –
Вики
Генератор (теория категорий)
Генератор (теория категорий) Определение семейства образующих Семейство образующих в категории C – это набор объектов G ⊆ Ob(C), для которых
Вики
Эскиз (математика)
Эскиз (математика) Основы теории категорий Эскиз в категории D – это категория с конусами и коконами. Модель эскиза в категории
Вики
Внутренняя категория
Внутренняя категория Определение внутренних категорий Внутренние категории являются обобщением малых категорий и определяются относительно внешней категории. Если категория окружения –