Диаграмма (теория категорий)

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

Определение

Формально диаграмма типа J в категории C представляет собой ( ковариантный ) функтор

Д : Дж → С.

Категория J называется индексной категорией или схемой диаграммы D ; Функтор иногда называют J -образной диаграммой . ^[1] Реальные объекты и морфизмы в J по большей части не имеют значения; имеет значение только то, как они взаимосвязаны. Диаграмма D рассматривается как индексация набора объектов и морфизмов в C, построенных по образцу J .

Хотя технически нет никакой разницы между отдельной диаграммой и функтором или между схемой и категорией , изменение терминологии отражает изменение перспективы, так же, как и в случае теории множеств: фиксируется индексная категория и разрешается функтор (и, во вторую очередь, целевая категория) меняться.

Чаще всего интересен случай, когда схема J представляет собой малую или даже конечную категорию. Диаграмма называется маленькой или конечной, если таковой J. является

Морфизм диаграмм типа J в категории C — это естественное преобразование между функторами. можно интерпретировать Тогда категорию диаграмм типа J в C как категорию функтора C ^Дж, и тогда диаграмма станет объектом этой категории.

Примеры

Для любого объекта A в C существует постоянная диаграмма , которая отображает все объекты из J в A и все морфизмы J в тождественный морфизм A. на Условно, для обозначения константной диаграммы часто используется подчеркивание: таким образом, для любого объекта $A$ в C имеется постоянная диаграмма ${\underline {A}}$ .
Если J — (маленькая) дискретная категория , то диаграмма типа J — это, по сути, просто индексированное семейство объектов в C (индексированное J ). При использовании при построении предела результатом является произведение ; для копредела получается копроизведение . Так, например, когда J — дискретная категория с двумя объектами, результирующий предел — это просто бинарное произведение.
Если J = −1 ← 0 → +1, то диаграмма типа J ( A ← B → C ) является промежутком , а ее копредел — выталкиванием . Если бы кто-то «забыл», что на диаграмме есть объект B и две стрелки B → A , B → C , результирующая диаграмма была бы просто дискретной категорией с двумя объектами A и C , а копредел был бы просто двоичным числом. побочный продукт. Таким образом, этот пример показывает важный способ, которым идея диаграммы обобщает идею индексного множества в теории множеств: включая морфизмы B → A , B → C , можно обнаружить дополнительную структуру в конструкциях, построенных на основе диаграммы, структуру, которая не было бы очевидным, если бы у нас был только набор индексов без каких-либо связей между объектами в индексе.
Двойственно вышесказанному, если J = −1 → 0 ← +1, то диаграмма типа J ( A → B ← C ) является коспаном , а ее пределом является обратный образ .
Индекс $J=0\rightrightarrows 1$ называется «двумя параллельными морфизмами», а иногда и свободным колчаном или ходячим колчаном . Диаграмма типа $J$ $(f,g\colon X\to Y)$ тогда это колчан ; его предел — эквалайзер , а его копредел — соэквалайзер .
Если J — категория частично упорядоченных множеств , то диаграмма типа J — это семейство объектов D _i вместе с уникальным морфизмом f _ij : D _i → D _j всякий раз, когда i ⩽ j . Если J направлена , то диаграмма типа J называется прямой системой объектов и морфизмов. Если диаграмма контравариантна , то она называется обратной системой .

Конусы и пределы

Конус N с вершиной N диаграммы D : J → C является морфизмом постоянной диаграммы ∆( ) в D . Константная диаграмма — это диаграмма, которая переводит каждый объект J в объект N из C и каждый морфизм в тождественный морфизм на N .

Предел D диаграммы в является конусом универсальным D . То есть конус, через который однозначно учитываются все остальные конусы. Если предел существует в категории C для всех диаграмм типа J, то получается функтор

лим: С ^Дж → С

который отправляет каждую диаграмму к своему пределу.

Двойственным образом копредел диаграммы D является универсальным конусом из D . Если копредел существует для всех диаграмм типа J, то существует функтор

колим : C ^Дж → С

который отправляет каждую диаграмму на свой копредел.

Универсальный функтор диаграммы — диагональный функтор ; его правое сопряженное является пределом, а левое сопряженное - копределом. ^[2] Конус можно рассматривать как естественное преобразование диагонального функтора в некоторую произвольную диаграмму.

Коммутативные диаграммы

Диаграммы и категории функторов часто визуализируются с помощью коммутативных диаграмм , особенно если индексная категория представляет собой конечную частично упорядоченную категорию с небольшим количеством элементов: рисуется коммутативная диаграмма с узлом для каждого объекта в индексной категории и стрелкой для порождающего набора морфизмов. , опуская тождественные карты и морфизмы, которые могут быть выражены как композиции. Коммутативность соответствует уникальности отображения между двумя объектами в категории частичного множества. И наоборот, каждая коммутативная диаграмма таким образом представляет собой диаграмму (функтор из категории индекса ЧУМ).

Не каждая диаграмма коммутирует, поскольку не каждая категория индекса является категорией частичного множества:проще всего, диаграмма отдельного объекта с эндоморфизмом ( $f\colon X\to X$ ), или двумя параллельными стрелками ( $\bullet \rightrightarrows \bullet$ ; $f,g\colon X\to Y$ ) не нужно ездить на работу. Более того, диаграммы может быть невозможно нарисовать (поскольку они бесконечны) или просто беспорядочны (поскольку в них слишком много объектов или морфизмов); однако для пояснения таких сложных диаграмм используются схематические коммутативные диаграммы (для подкатегорий индексной категории или с эллипсами, например для направленной системы).

См. также

Ссылки

^ Мэй, JP (1999). Краткий курс алгебраической топологии (PDF) . Издательство Чикагского университета. п. 16. ISBN 0-226-51183-9 .
^ Мак Лейн, Сондерс; Мурдейк, Ике (1992). Связки геометрии и логики — первое введение в теорию топоса . Нью-Йорк: Springer-Verlag. стр. 20–23 . ISBN 9780387977102 .

Адамек, Иржи; Хорст Херрлих; Джордж Э. Шлитцер (1990). Абстрактные и конкретные категории (PDF) . Джон Уайли и сыновья. ISBN 0-471-60922-6 . Теперь доступно в виде бесплатного онлайн-издания (PDF, 4,2 МБ).
Барр, Майкл ; Уэллс, Чарльз (2002). Топосы, тройки и теории (PDF) . ISBN 0-387-96115-1 . Пересмотренная и исправленная бесплатная онлайн-версия Basic Teachings of the Mathematical Sciences (278) Springer-Verlag, 1983).
диаграмма в n лаборатории

Внешние ссылки

Погоня за диаграммой в MathWorld
WildCats — это пакет теории категорий для Mathematica . Манипулирование и визуализация объектов, морфизмов , коммутативных диаграмм, категорий, функторов , естественных преобразований .

[1] Мэй, JP (1999). Краткий курс алгебраической топологии (PDF) . Издательство Чикагского университета. п. 16. ISBN 0-226-51183-9 .

[2] Мак Лейн, Сондерс; Мурдейк, Ике (1992). Связки геометрии и логики — первое введение в теорию топоса . Нью-Йорк: Springer-Verlag. стр. 20–23 . ISBN 9780387977102 .

[1]

[2]