Прирученный абстрактный элементарный класс
Ручной абстрактный элементарный класс Определение и свойства AEC AEC — это теория множеств с аксиомами, аналогичными аксиомам ZFC, но с […]
Вики
Category theory
Вики
Диалектическое пространство
Диалектическое пространство Основы диалектических пространств Диалектические пространства — это способ моделирования линейной логики. Представлены Валерией де Пайва как способ интерпретации
Вики
Аннотация элементарного класса
Абстрактный элементарный класс Определение и свойства абстрактных элементарных классов Абстрактные элементарные классы (AECs) — это классы моделей, которые не могут
Вики
Система факторизации
Система факторизации Определение модельной категории Модельная категория — это категория с определенной структурой, которая позволяет изучать свойства категорий. Модельные категории
Вики
Категория устройства вставки
Категория для вставки Определение категории вставки Категория вставки Ins(F, G) является категорией, где два функтора F и G имеют одну
Вики
Категория изображений
Категория представлений Основы теории представлений Категория представлений A включает объекты и морфизмы, отображающие объекты в эквивариантные образы. Важным вопросом является
Вики
Компактный объект (математика)
Компактный объект (математика) Определение компактности в категориях Компактный объект — это объект, который имеет конечное число открытых окрестностей. Категория компактных
Вики
Монада кодовой плотности
Монада кодовой плотности Определение и свойства монады кодовой плотности Монада кодовой плотности — это функтор, который отображает объекты в категории
Вики
Категория дистрибутива
Распределительная категория Определение дистрибутивной категории Категория является дистрибутивной, если она обладает конечными произведениями и копроизведениями. Канонические карты в категории являются
Вики
Псевдоабелева категория
Псевдоабелева категория Определение псевдоабелевой категории Категория является предаддитивной и каждый идемпотент имеет ядро. Идемпотентный морфизм должен удовлетворять условию p ∘
Вики
Локализация подкатегории
Локализующая подкатегория Основы подкатегорий Серра и локализации Подкатегории Серра — это плотные подкатегории абелевых категорий, которые закрываются для подобъектов, частных
Вики
Композиционная теория игр
Теория композиционных игр Теория композиционных игр Теория композиционных игр объединяет простые игры в сложные. Цель — упростить анализ больших игр
Вики
F-коалгебра
F-коалгебра Определение F-коалгебры F-коалгебра — структура, определенная функтором F, обладающая особыми свойствами. Функтор F является удобным способом организации сигнатуры в
Вики
Пространство Чу
Пространство Чу Определение пространств Чу Пространства Чу обобщают топологические пространства, отказываясь от некоторых требований. Определение непрерывной функции требует переформулировки для
Вики
Инъекционный когенератор
Инжекционный когенератор Основы теории категорий Генераторы и когенераторы — объекты, которые приближают другие объекты. Генератор категории с нулевым объектом —
Вики
Категория Вальдхаузен
Категория Вальдхаузена Определение и свойства K-теории K-теория — это теория, изучающая категории с морфизмами, которые удовлетворяют некоторым условиям. K-теория была
Вики
Q-категория
Q-категория Определение Q-категории Q-категория — это «упрощенная версия сайта Гротендика» Категория Q является корефлексивной подкатегорией Буква Q означает «частное» История
Вики
Изображение (теория категорий)
Изображение (теория категорий) Определение и свойства изображения Изображение морфизма — это морфизм, обратный к исходному. В категории с конечными пределами
Вики
Т-структура
Т-образная структура Определение т-структуры Т-структура — это тройка функторов, удовлетворяющих аксиомам. Функторы должны быть естественными и иметь выделенные треугольники. Примеры