Категория Вальдхаузен — Википедия
Категория Вальдхаузена Определение и свойства K-теории K-теория — это теория, изучающая категории с морфизмами, которые удовлетворяют некоторым условиям. K-теория была […]
Категория Вальдхаузена Определение и свойства K-теории K-теория — это теория, изучающая категории с морфизмами, которые удовлетворяют некоторым условиям. K-теория была […]
Симплициальная локализация Определение симплициальной локализации Симплициальная локализация LC категории C относительно класса морфизмов W является симплициальной категорией. Локализация π0LC(x, y)
Q-категория Определение Q-категории Q-категория — это «упрощенная версия сайта Гротендика» Категория Q является корефлексивной подкатегорией Буква Q означает «частное» История
Категория продукта Определение категории продукта Категория продукта C × D объединяет объекты и стрелки из C и D. Композиция стрелок
Нерв (теория категорий) Определение и применение нерва в теории категорий Нерв N(C) категории C представляет собой симплициальное множество, связанное с
Монада (теория категорий) Основы теории монад Монады — это функторы, которые отображают категории в категории эндофункторов. Функторы являются объектами, которые
Монада (теория категорий) Основы теории монад Монады — это функторы, которые отображают категории в категории эндофункторов. Функторы являются объектами, которые
Слабый функтор Определение слабого функтора Слабый функтор P между бикатегориями C и D обобщает понятие функтора между категориями. Он состоит
Т-образная структура Определение т-структуры Т-структура — это тройка функторов, удовлетворяющих аксиомам. Функторы должны быть естественными и иметь выделенные треугольники. Примеры
Т-образная структура Определение т-структуры Т-структура — это тройка функторов, удовлетворяющих аксиомам. Функторы должны быть естественными и иметь выделенные треугольники. Примеры
Категория Гротендика Определение категории Гротендика Категория Гротендика — это категория, в которой каждый объект является суммой своих конечно порожденных подобъектов.
Расширенная категория Определение и примеры обогащенных категорий Обогащенная категория — это категория, обогащенная моноидальной структурой. Примеры обогащенных категорий включают категории
Нерв (теория категорий) Определение и применение нерва в теории категорий Нерв N(C) категории C представляет собой симплициальное множество, связанное с
Локализация Боусфилда Определение и применение локализации Боусфилда Локализация Боусфилда заменяет структуру модели другой с более слабыми эквивалентностями. Метод назван в
Монада (теория категорий) Основы теории монад Монады — это функторы, которые отображают категории в категории эндофункторов. Функторы являются объектами, которые
Двойственность Исбелла Определение и свойства функтора Функтор — это отображение между категориями, сохраняющее структуру. Функтор является гомоморфизмом в категории множеств.
ДисКоКат Основы DisCoCat DisCoCat — математическая платформа для обработки естественного языка с использованием теории категорий. Грамматические производные интерпретируются как линейные
Подкатегория Жиро Определение подкатегорий Жиро Подкатегории Жиро являются важным классом подкатегорий в категориях Гротендика. Названы в честь Жана Жиро. Определение
Пучок Определение предслоя Предслой — это категория, в которой каждый объект является открытым множеством, а каждый морфизм — это непрерывное
Эквивалентность категорий Определение эквивалентности категорий Две категории C и D считаются эквивалентными, если существует функтор F: C → D, который
Категория (математика) Основы теории категорий Категория — это множество объектов с морфизмами, которые связывают объекты. Морфизмы могут быть отображением, отображением