Теория категорий

Вики

Категория Вальдхаузен — Википедия

Категория Вальдхаузена Определение и свойства K-теории K-теория — это теория, изучающая категории с морфизмами, которые удовлетворяют некоторым условиям.  K-теория была […]

Вики

Упрощенная локализация — Википедия

Симплициальная локализация Определение симплициальной локализации Симплициальная локализация LC категории C относительно класса морфизмов W является симплициальной категорией.  Локализация π0LC(x, y)

Вики

Q-категория — Википедия

Q-категория Определение Q-категории Q-категория — это «упрощенная версия сайта Гротендика»  Категория Q является корефлексивной подкатегорией  Буква Q означает «частное»  История

Вики

Функтор Лакса — Википедия

Слабый функтор Определение слабого функтора Слабый функтор P между бикатегориями C и D обобщает понятие функтора между категориями.  Он состоит

Вики

Т-структура — Википедия

Т-образная структура Определение т-структуры Т-структура — это тройка функторов, удовлетворяющих аксиомам.  Функторы должны быть естественными и иметь выделенные треугольники.  Примеры

Вики

Т-структура — Википедия

Т-образная структура Определение т-структуры Т-структура — это тройка функторов, удовлетворяющих аксиомам.  Функторы должны быть естественными и иметь выделенные треугольники.  Примеры

Вики

Категория Гротендика — Википедия

Категория Гротендика Определение категории Гротендика Категория Гротендика — это категория, в которой каждый объект является суммой своих конечно порожденных подобъектов. 

Вики

Расширенная категория — Википедия

Расширенная категория Определение и примеры обогащенных категорий Обогащенная категория — это категория, обогащенная моноидальной структурой.  Примеры обогащенных категорий включают категории

Вики

Локализация Бусфилда — Википедия

Локализация Боусфилда Определение и применение локализации Боусфилда Локализация Боусфилда заменяет структуру модели другой с более слабыми эквивалентностями.  Метод назван в

Вики

Двойственность Исбелла — Википедия

Двойственность Исбелла Определение и свойства функтора Функтор — это отображение между категориями, сохраняющее структуру.  Функтор является гомоморфизмом в категории множеств. 

Вики

ДискоКат — Википедия

ДисКоКат Основы DisCoCat DisCoCat — математическая платформа для обработки естественного языка с использованием теории категорий.  Грамматические производные интерпретируются как линейные

Вики

Подкатегория Жиро — Википедия

Подкатегория Жиро Определение подкатегорий Жиро Подкатегории Жиро являются важным классом подкатегорий в категориях Гротендика.  Названы в честь Жана Жиро.  Определение

Вики

Кошиф — Википедия

Пучок Определение предслоя Предслой — это категория, в которой каждый объект является открытым множеством, а каждый морфизм — это непрерывное

Вики

Категория (математика) — Википедия

Категория (математика) Основы теории категорий Категория — это множество объектов с морфизмами, которые связывают объекты.  Морфизмы могут быть отображением, отображением

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