Category theory

Вики

Котройная гомология

/

Общая гомология Определение гомологии в алгебре Гомология в алгебре связана с тройными гомологиями объектов в категории C.  Тройная гомология объекта

Вики

Котангенсный комплекс

/

Комплекс кокасательных Определение и свойства кокасательного комплекса Кокасательный комплекс – это объект в категории спектров, который контролирует деформации морфизмов.  Он

Вики

Корестрикция

/

Основное ограничение Определение ограничения функции Ограничение функции изменяет кодомен на подмножество.  Префикс “co-” указывает на противоположность ограничения функции.  Ограничение и

Вики

Корекурсия

/

Повторная экскурсия Основы рекурсии и коиндукции Рекурсия – это метод определения функции через саму функцию.  Коиндукция – это метод определения

Вики

Коиндукция

/

Коиндукция Определение и свойства F-коалгебр F-коалгебра – это пара (A, F), где A – множество, а F – функционал, отображающий

Вики

Центр (теория категорий)

/

Центр (теория категорий) Определение и свойства центра Дринфельда Центр Дринфельда – это моноидальная категория, которая является моноидальной категорией, противоположной категории

Вики

Категория алгебра

/

Алгебра категорий Определение алгебры категорий Алгебра категорий – это ассоциативная алгебра, определенная для локально конечной категории и коммутативного кольца с

Вики

Категориальный след

/

Категориальный след Определение и свойства категориального следа Категориальный след обобщает след матрицы в теории категорий.  Объект X в симметричной моноидальной

Вики

Категория Бернсайд

/

Категория “Бернсайд” Определение категории Бернсайда Категория Бернсайда G – это категория с конечными G-множествами и G-эквивариантными отображениями.  Эквивалентность между промежутками

Вики

Аллегория (математика)

/

Аллегория (математика) Основы аллегорий Аллегория – это структура, которая отображает отношения между объектами.  Отношения могут быть тождествами, композициями, обратными и

Вики

Категория клея

/

Категория клея Определение адгезивной категории Адгезивная категория – категория с мономорфизмами, имеющими выталкивания.  Примеры адгезивных категорий: направленные мультиграфы и теория

Вики

Диалектическое пространство

/

Диалектическое пространство Основы диалектических пространств Диалектические пространства – это способ моделирования линейной логики.  Представлены Валерией де Пайва как способ интерпретации

Вики

Аннотация элементарного класса

/

Абстрактный элементарный класс Определение и свойства абстрактных элементарных классов Абстрактные элементарные классы (AECs) – это классы моделей, которые не могут

Вики

Система факторизации

/

Система факторизации Определение модельной категории Модельная категория – это категория с определенной структурой, которая позволяет изучать свойства категорий.  Модельные категории

Вики

Категория изображений

/

Категория представлений Основы теории представлений Категория представлений A включает объекты и морфизмы, отображающие объекты в эквивариантные образы.  Важным вопросом является

Вики

Компактный объект (математика)

/

Компактный объект (математика) Определение компактности в категориях Компактный объект – это объект, который имеет конечное число открытых окрестностей.  Категория компактных

Вики

Монада кодовой плотности

/

Монада кодовой плотности Определение и свойства монады кодовой плотности Монада кодовой плотности – это функтор, который отображает объекты в категории

Вики

Категория дистрибутива

/

Распределительная категория Определение дистрибутивной категории Категория является дистрибутивной, если она обладает конечными произведениями и копроизведениями.  Канонические карты в категории являются

Прокрутить вверх