Отношения между двумя функторами, абстрагирующими многие общие конструкции.
В математике , особенно в теории категорий , присоединение — это отношение, которое могут проявлять два функтора , интуитивно соответствующее слабой форме эквивалентности между двумя связанными категориями. Два функтора, которые находятся в этом отношении, известны как сопряженные функторы , один из которых является сопряженным слева , а другой - сопряженным справа . Пары сопряженных функторов повсеместно распространены в математике и часто возникают в результате конструкций «оптимальных решений» определенных задач (т. е. конструкций объектов, обладающих определенным универсальным свойством ), таких как построение свободной группы на множестве в алгебре или построение компактификации Стоуна–Чеха топологического пространства в топологии.
По определению, присоединение между категориями и представляет собой пару функторов (предполагаемых ковариантными ).
и
и для всех объектов в и в биекция между соответствующими наборами морфизмов
такое, что это семейство биекций естественно в и . Естественность здесь означает, что существуют естественные изоморфизмы между парой функторов и при фиксированном in , а также парой функторов и при фиксированном in .
Функтор называется левым сопряженным функтором или левым сопряженным к , а называется правосопряженным функтором или правосопряженным к . Мы пишем .
Присоединение между категориями и в некоторой степени похоже на «слабую форму» эквивалентности между и , и действительно, каждая эквивалентность является присоединением. Во многих ситуациях дополнение можно «повысить» до эквивалентности путем подходящей естественной модификации задействованных категорий и функторов.
Терминология и обозначения
Термины «дополнительный» и «дополнительный» оба используются и являются родственными : один взят непосредственно из латыни, другой — из латыни через французский язык. В классическом тексте «Категории для работающего математика » Мак Лейн проводит различие между ними. Учитывая семью
биекций hom-множества мы называем присоединением или присоединением между и . Если – стрелка в , – это правый придаток (стр. 81). Функтор сопряжен слева и сопряжен справа . (Обратите внимание, что у него может быть правый сопряженный, который сильно отличается от ; см. пример ниже.)
В общем случае фразы « является сопряженным слева» и « имеет сопряженный справа» эквивалентны. Мы называем левое сопряженное, потому что оно применяется к левому аргументу , и правое сопряженное, потому что оно применяется к правому аргументу .
Если F сопряжено слева с G , мы также пишем
Терминология происходит от идеи гильбертова пространства сопряженных операторов с , которая формально аналогична приведенному выше отношению между hom-множествами. Аналогию с присоединенными отображениями гильбертовых пространств можно уточнить в определенных контекстах. [1]
Обычными математическими конструкциями очень часто являются сопряженные функторы. Следовательно, общие теоремы о левых/правых сопряженных функторах содержат детали многих полезных и в других отношениях нетривиальных результатов. К таким общим теоремам относятся эквивалентность различных определений сопряженных функторов, уникальность правого сопряженного для данного левого сопряженного, тот факт, что левые/правые сопряженные функторы соответственно сохраняют копределы/пределы (которые также встречаются во всех областях математики). и общие теоремы о сопряженных функторах, определяющие условия, при которых данный функтор является сопряженным слева/справа.
Решения проблем оптимизации
В некотором смысле сопряженный функтор — это способ дать наиболее эффективное решение некоторой проблемы с помощью шаблонного метода . Например, элементарная проблема теории колец состоит в том, как превратить кольцо (похожее на кольцо, которое может не иметь мультипликативной идентичности) в кольцо . Самый эффективный способ — присоединить элемент «1» к группе, присоединить все (и только) элементы, необходимые для удовлетворения аксиом кольца (например, r +1 для каждого r в кольце), и не налагать никаких отношений в вновь сформированное кольцо, не обусловленное аксиомами. Более того, эта конструкция является шаблонной в том смысле, что она работает по существу одинаково для любого кольца.
Это довольно расплывчато, хотя и наводит на размышления, и его можно уточнить на языке теории категорий: конструкция наиболее эффективна , если она удовлетворяет универсальному свойству , и является шаблонной, если она определяет функтор . Универсальные свойства бывают двух типов: начальные свойства и конечные свойства. Поскольку это двойственные понятия, необходимо обсудить только одно из них.
Идея использования начального свойства состоит в том, чтобы поставить задачу в терминах некоторой вспомогательной категории E так , чтобы рассматриваемая проблема соответствовала поиску исходного объекта E. Преимущество этого метода заключается в том, что оптимизация (ощущение, что процесс находит наиболее эффективное решение) означает нечто строгое и узнаваемое, скорее похожее на достижение супремума . Категория E также является шаблонной в этой конструкции, поскольку это всегда категория элементов функтора, к которому строится сопряженное.
Вернёмся к нашему примеру: возьмём заданную группу R и создадим категорию E , объектами которой являются гомоморфизмы rng R → S , где S — кольцо, имеющее мультипликативную единицу. Морфизмы в E между R → S1 и R → S2 представляют собой коммутативные треугольники вида ( R → S1 , R → S2 , S1 → S2 ) , где S1 → S2 — кольцевое отображение ( которое сохраняет личность). (Обратите внимание, что это в точности определение категории запятой R над включением унитарных колец в rng.) Существование морфизма между R → S 1 и R → S 2 означает, что S 1 является, по крайней мере, столь же эффективным решением как S 2 для нашей проблемы: S 2 может иметь больше присоединенных элементов и/или больше отношений, не налагаемых аксиомами, чем S 1 . Поэтому утверждение о том, что объект R → R* является начальным в E , т. е. что существует морфизм от него к любому другому элементу E , означает, что кольцо R * является наиболее эффективным решением нашей задачи.
Два факта, заключающиеся в том, что этот метод превращения чисел в кольца является наиболее эффективным и шаблонным , можно выразить одновременно, сказав, что он определяет сопряженный функтор . Более подробно: пусть F обозначает описанный выше процесс присоединения единицы к rng, поэтому F ( R )= R* . Пусть G обозначает процесс «забывания» того, имеет ли кольцо S единицу, и рассмотрения его просто как кольца, так что, по сути, G ( S ) = S. Тогда F — левый сопряженный функтор группы G.
Однако обратите внимание, что на самом деле мы еще не построили R* ; важным и не совсем тривиальным алгебраическим фактом является то, что такой левый сопряженный функтор R → R* действительно существует.
Симметрия задач оптимизации
Также можно начать с функтора F и задать следующий (неопределенный) вопрос: существует ли проблема, для которой F является наиболее эффективным решением?
Представление о том, что F является наиболее эффективным решением проблемы, поставленной G , в определенном строгом смысле эквивалентно представлению о том, что G представляет собой наиболее сложную проблему , которую решает F.
Это дает интуитивное представление о том, что сопряженные функторы встречаются парами: если F сопряжен слева с G , то G сопряжен справа с F.
Формальные определения
Существуют различные эквивалентные определения сопряженных функторов:
Определения с помощью универсальных морфизмов легко сформулировать и требуют минимальных проверок при построении сопряженного функтора или доказательстве сопряженности двух функторов. Они также наиболее похожи на нашу интуицию, связанную с оптимизацией.
Определение через hom-множества делает симметрию наиболее очевидной и является причиной использования слова «сопряженный» .
Определение через присоединение единица-единица удобно для доказательства функторов, которые, как известно, являются сопряженными, поскольку они предоставляют формулы, которыми можно напрямую манипулировать.
Эквивалентность этих определений весьма полезна. Сопряженные функторы возникают повсюду, во всех областях математики. Поскольку структура любого из этих определений порождает структуры других, переключение между ними приводит к неявному использованию многих деталей, которые в противном случае пришлось бы повторять отдельно в каждой предметной области.
Конвенции
В основе теории сопряженных лежат термины «левый » и «правый» , и существует множество компонентов, относящихся к одной из двух рассматриваемых категорий C и D. Поэтому может оказаться полезным выбирать буквы в алфавитном порядке в зависимости от того, относятся ли они к «левой» категории C или к «правой» категории D , а также по возможности записывать их в этом порядке.
Например, в этой статье буквы X , F , f , ε будут последовательно обозначать вещи, которые живут в категории C , буквы Y , G , g , η будут последовательно обозначать вещи, которые живут в категории D , и, когда это возможно, такие вещи будут упоминаться в порядке слева направо (функтор F : D → C можно рассматривать как «живущий» там, где находятся его выходные данные, в C ). Если бы стрелки левого сопряженного функтора F были нарисованы, они бы указывали влево; если бы стрелки для правого сопряженного функтора G были нарисованы, они бы указывали вправо.
Определение через универсальные морфизмы
По определению, функтор является левосопряженным функтором, если для каждого объекта в существует универсальный морфизм
от до . Вкратце это означает, что для каждого объекта in существует объект in и такой морфизм , что для каждого объекта in и каждого морфизма существует уникальный морфизм с .
В этой ситуации можно показать, что его можно превратить в функтор единственным способом, так что
для всех морфизмов в ; тогда называется левым сопряженным к .
Аналогично мы можем определить правосопряженные функторы. Функтор называется правосопряженным функтором, если для каждого объекта из существует универсальный морфизм из в . Вкратце это означает, что для каждого объекта в существует объект в и морфизм такой, что для каждого объекта в
и каждого морфизма существует уникальный морфизм с .
Опять же, это можно однозначно превратить в функтор, такой, что для морфизма в ; тогда называется правым сопряженным к .
Это правда, как следует из терминологии, что сопряжено слева тогда и только тогда, когда сопряжено справа .
Эти определения через универсальные морфизмы часто полезны для установления того, что данный функтор является сопряженным слева или справа, поскольку они минималистичны в своих требованиях. Они также интуитивно значимы, поскольку поиск универсального морфизма аналогичен решению задачи оптимизации.
В этой ситуации F сопряжена слева с G , а G сопряжена справа с F .
Это определение является логическим компромиссом, поскольку его труднее удовлетворить, чем определения универсального морфизма, и оно имеет меньше непосредственных последствий, чем определение «единица-единица». Оно полезно из-за своей очевидной симметрии и в качестве трамплина между другими определениями.
Чтобы интерпретировать Φ как естественный изоморфизм , необходимо признать hom C ( F –, –) и hom D (–, G –) функторами. Фактически, они оба являются бифункторами из Dop × C в Set ( категория множеств ). Подробности смотрите в статье о hom функторах . Явно, естественность Φ означает, что для всех морфизмов f : X → X′ в C и всех морфизмов g : Y ′ → Y в D коммутирует следующая диаграмма :
Вертикальные стрелки на этой диаграмме — это стрелки, вызванные составом. Формально Hom( Fg , f ) : Hom C ( FY , X ) → Hom C ( FY , X ) задается формулой h → f o h o Fg для каждого h в Hom C ( FY , X ). Hom( g , Gf ) аналогично.
называются соответственно единицей и единицей присоединения (терминология универсальной алгебры ), такие, что композиции
являются тождественными преобразованиями 1 F и 1 G на F и G соответственно.
В этой ситуации мы говорим, что F сопряжена слева с G , а G сопряжена справа с F , и можем указать эту связь, написав , или просто .
В форме уравнения приведенные выше условия на ( ε , η ) представляют собой уравнения с единичными единицами.
это означает, что для каждого X в C и каждого Y в D ,
.
Обратите внимание, что обозначает идентифицирующий функтор в категории , обозначает тождественное естественное преобразование функтора F в самого себя и обозначает тождественный морфизм объекта FY .
Эти уравнения полезны для сведения доказательств сопряженных функторов к алгебраическим манипуляциям. Их иногда называют тождествами треугольников , а иногда и уравнениями зигзага из-за появления соответствующих струнных диаграмм . Чтобы запомнить их, нужно сначала записать бессмысленное уравнение , а затем заполнить либо F , либо G одним из двух простых способов, которые определяют составы.
Примечание. Использование здесь префикса «co» в counit не согласуется с терминологией пределов и копределов, поскольку копредел удовлетворяет начальному свойству , тогда как морфизмы counit будут удовлетворять терминальным свойствам, причем двойственно. Термин единица здесь заимствован из теории монад , где он выглядит как вставка тождества 1 в моноид.
История
Идея сопряженных функторов была введена Дэниелом Каном в 1958 году. [2] Как и многие концепции теории категорий, она была предложена потребностями гомологической алгебры , которая в то время была посвящена вычислениям. Те, кто столкнулся с необходимостью аккуратного и систематического изложения предмета, заметили бы такие связи, как
hom( F ( X ), Y ) = hom( X , G ( Y ))
в категории абелевых групп , где F был функтором (т.е. возьмем тензорное произведение с A ), а G был функтором hom( A ,–) (теперь это известно как присоединение тензора к hom ). Использование знака равенства является злоупотреблением обозначениями ; эти две группы на самом деле не идентичны, но существует естественный способ их идентификации . Это можно видеть естественным, исходя, во-первых, из того, что это два альтернативных описания билинейных отображений из X × A в Y . Однако это нечто особенное в случае тензорного произведения. В теории категорий «естественность» биекции включается в понятие естественного изоморфизма .
Вездесущность
Если начать искать эти сопряженные пары функторов, они окажутся очень распространенными в абстрактной алгебре , да и в других местах. В приведенном ниже разделе примеров представлены доказательства этого; кроме того, универсальные конструкции , которые некоторым могут быть более знакомы, порождают многочисленные присоединенные пары функторов.
В соответствии с мышлением Сондерса Мак Лейна , любая идея, такая как сопряженные функторы, которая достаточно широко встречается в математике, должна изучаться сама по себе. [ нужна цитата ]
О концепциях можно судить по их использованию при решении проблем, а также по их использованию при построении теорий. Напряжение между этими двумя мотивами было особенно велико в 1950-е годы, когда впервые была разработана теория категорий. Введите Александра Гротендика , который использовал теорию категорий для определения компаса в других работах — в функциональном анализе , гомологической алгебре и, наконец, алгебраической геометрии .
Вероятно, неправильно говорить, что он продвигал концепцию сопряженного функтора изолированно: но признание роли присоединения было неотъемлемой частью подхода Гротендика. Например, одним из его главных достижений была формулировка двойственности Серра в относительной форме — грубо говоря, в непрерывном семействе алгебраических многообразий. Все доказательство основывалось на существовании правого сопряженного некоторому функтору. Это, несомненно, что-то абстрактное и неконструктивное [ обсудить ] , но тоже по-своему мощное.
Примеры
Бесплатные группы
Построение свободных групп является распространенным и показательным примером.
Пусть F : Set → Grp — функтор, присваивающий каждому множеству Y свободную группу , порожденную элементами Y , и пусть G : Grp → Set — функтор забывания , который присваивает каждой группе X ее базовый набор. Тогда F левосопряжён к G :
Начальные морфизмы. Для каждого набора Y набор GFY является просто базовым набором свободной группы FY , порожденной Y. Пусть – отображение множества, заданное «включением образующих». Это начальный морфизм из Y в G , потому что любое отображение множества из Y в базовое множество GW некоторой группы W будет факторизоваться через уникальный групповой гомоморфизм из FY в W. Это и есть универсальное свойство свободной группы на Y .
Терминальные морфизмы. Для каждой группы X группа FGX является свободной группой, свободно порожденной GX , элементами X. Пусть - групповой гомоморфизм, который переводит генераторы FGX в элементы X , которым они соответствуют, который существует в силу универсального свойства свободных групп. Тогда каждый является терминальным морфизмом из F в X , потому что любой групповой гомоморфизм из свободной группы FZ в X будет факторизоваться через уникальное отображение множества из Z в GX . Это означает, что ( F , G ) — сопряженная пара.
Присоединение Hom-set. Групповые гомоморфизмы свободной группы FY в группу X соответствуют в точности отображениям множества Y в множество GX : каждый гомоморфизм из FY в X полностью определяется его действием на образующие, что является еще одним подтверждением универсального свойства свободных групп. Можно непосредственно проверить, что это соответствие является естественным преобразованием, а это означает, что оно является присоединением гомомножества для пары ( F , G ).
присоединение единица-единица. Можно также непосредственно проверить, что ε и η естественны. Тогда прямая проверка того, что они образуют соединение единица, заключается в следующем:
Первое уравнение «единица-единица» говорит, что для каждого набора Y композиция
должна быть личность. Промежуточная группа FGFY — это свободная группа, свободно порожденная словами свободной группы FY . (Подумайте об этих словах, заключенных в круглые скобки, чтобы указать, что они являются независимыми генераторами.) Стрелка — это гомоморфизм группы из FY в FGFY , отправляющий каждый генератор y из FY в соответствующее слово длины один ( y ) в качестве генератора FGFY . Стрелка — это групповой гомоморфизм из FGFY в FY , отправляющий каждый генератор в слово FY , которому он соответствует (поэтому это отображение «опускает круглые скобки»). Состав этих карт действительно идентичен ФГ .
Второе уравнение «единица-единица» говорит, что для каждой группы X композиция
должна быть личность. Промежуточный набор GGFX — это всего лишь базовый набор FGX . Стрелка представляет собой карту множества «включения генераторов» из множества GX в множество GFGX . Стрелка представляет собой отображение множества из GFGX в GX , которое лежит в основе группового гомоморфизма, отправляющего каждый генератор FGX в элемент X , которому он соответствует («опускание скобок»). Композиция этих отображений действительно тождественна на GX .
Свободные конструкции и забывчивые функторы
Все свободные объекты являются примерами левого сопряжения с забывчивым функтором , который присваивает алгебраическому объекту его базовый набор. Эти алгебраические свободные функторы обычно имеют то же описание, что и в подробном описании ситуации со свободной группой выше.
Диагональные функторы и пределы
Произведения , расслоенные произведения , эквалайзеры и ядра — все это примеры категориального понятия предела . Любой предельный функтор сопряжен справа с соответствующим диагональным функтором (при условии, что категория имеет рассматриваемый тип пределов), а единица присоединения обеспечивает определяющие отображения предельного объекта (т. е. диагонального функтора на пределе в категория функтора). Ниже приведены некоторые конкретные примеры.
Произведения Пусть Π: Grp 2 → Grp — функтор, который присваивает каждой паре ( X 1 , X 2 ) группу произведений X 1 × X 2 , и пусть ∆: Grp → Grp 2 — диагональный функтор , который присваивает каждой группе X пара ( X , X ) в категории продуктов Grp 2 . Универсальное свойство группы произведений показывает, что Π правосопряжено к Δ. Единицей этого присоединения является определяющая пара отображений проекции X 1 × X 2 на X 1 и X 2 , определяющие предел, а единицей — диагональное включение группы X в X × X (отображение x в (x ,Икс)).
Декартово произведение множеств , произведение колец, произведение топологических пространств и т . д. следуют той же схеме; его также можно напрямую распространить на более чем два фактора. В более общем смысле любой тип предела правосопряжен с диагональным функтором.
Ядра. Рассмотрим категорию D гомоморфизмов абелевых групп. Если f 1 : A 1 → B 1 и f 2 : A 2 → B 2 — два объекта D , то морфизм из f 1 в f 2 — это пара ( g A , g B ) таких морфизмов, что g B f 1 знак равно ж 2 г А . Пусть G : D → Ab — функтор, который сопоставляет каждому гомоморфизму его ядро , и пусть F : Ab → D — функтор, который отображает группу A в гомоморфизм A → 0. Тогда G правосопряжен к F , который выражает универсальный свойство ядер. Единицей этого присоединения является определяющее вложение ядра гомоморфизма в область определения гомоморфизма, а единицей — морфизм, отождествляющий группу A с ядром гомоморфизма A → 0.
Подходящий вариант этого примера также показывает, что функторы ядра для векторных пространств и модулей являются правосопряженными. Аналогично можно показать, что функторы коядра абелевых групп, векторных пространств и модулей являются левыми сопряженными.
Копределы и диагональные функторы
Копроизведения , расслоенные копродукции , коэквалайзеры и коядра — все это примеры категориального понятия копредела . Любой функтор копредела остается сопряженным с соответствующим диагональным функтором (при условии, что категория имеет рассматриваемый тип копредела), а единица присоединения обеспечивает определяющие отображения в объект копредела. Ниже приведены некоторые конкретные примеры.
Сопродукты. Если F : Ab 2 → Ab сопоставляет каждой паре ( X 1 , X 2 ) абелевых групп их прямую сумму , и если G : Ab → Ab 2 является функтором, который сопоставляет каждой абелевой группе Y пару ( Y , Y ) , то F сопряжена слева к G , что опять же является следствием универсального свойства прямых сумм. Единицей этой сопряженной пары является определяющая пара отображений включения из X 1 и X 2 в прямую сумму, а единицей является аддитивная карта из прямой суммы ( X , X ) обратно в X (отправка элемента ( a , b ) прямой суммы к элементу a + b из X ).
Присоединение идентификатора к rng . Этот пример обсуждался в разделе мотивации выше. Учитывая rng R , можно добавить мультипликативный единичный элемент, взяв R x Z и определив Z -билинейное произведение с (r,0)(0,1) = (0,1)(r,0) = (r, 0), (r,0)(s,0) = (rs,0), (0,1)(0,1) = (0,1). Это создает левый сопряженный функтор, переводящий кольцо в базовую цепь.
Присоединение единицы к полугруппе . Аналогично, учитывая полугруппу S , мы можем добавить единичный элемент и получить моноид , взяв дизъюнктное объединение S {1} и определив над ним бинарную операцию так, что она расширяет операцию над S , а 1 является единичным элементом. Эта конструкция дает функтор, который является левым сопряженным функтором, переводящим моноид в базовую полугруппу.
Удлинители колец. Предположим, что R и S — кольца, а ρ : R → S — гомоморфизм колец . Тогда S можно рассматривать как (левый) R -модуль, а тензорное произведение с S дает функтор F : R - Mod → S - Mod . Тогда F левосопряжён к функтору забвения G : S - Mod → R - Mod .
Тензорные произведения . Если R — кольцо и M — правый R -модуль, то тензорное произведение с M дает функтор F : R — Mod → Ab . Функтор G : Ab → R - Mod , определенный формулой G ( A ) = hom Z ( M , A ) для любой абелевой группы A ,является правосопряженным к F.
От моноидов и групп к кольцам. Целочисленная конструкция моноидного кольца дает функтор от моноидов к кольцам. Этот функтор сопряжен слева с функтором, который сопоставляет данному кольцу лежащий в его основе мультипликативный моноид. Аналогично, конструкция целого группового кольца дает функтор от групп к кольцам, сопряженный слева с функтором, который ставит в соответствие данному кольцу его группу единиц . Можно также начать с поля K и рассмотреть категорию K - алгебр вместо категории колец, чтобы получить моноид и групповые кольца над K.
Поле дробей. Рассмотрим категорию Dom m областей целостности с инъективными морфизмами. Функтор забывчивости Field → Dom m из полей имеет левый сопряженный — он ставит в соответствие каждой области целостности свое поле дробей .
Полиномиальные кольца . Пусть Ring * — категория точечных коммутативных колец с единицей (пары (A,a), где A — кольцо, a ∈ A и морфизмы сохраняют выделенные элементы). Функтор забывания G: Ring * → Ring имеет левый сопряженный – он ставит в соответствие каждому кольцу R пару (R[x],x), где R[x] – кольцо многочленов с коэффициентами из R.
Абелианизация . Рассмотрим функтор включения G : Ab → Grp из категории абелевых групп в категорию групп . Он имеет левый сопряженный элемент, называемый абелианизацией , который ставит в соответствие каждой группе G факторгруппу G ab = G /[ G , G ].
Группа Гротендика . В K-теории отправной точкой является наблюдение, что категория векторных расслоений в топологическом пространстве имеет коммутативную моноидную структуру относительно прямой суммы . Из этого моноида можно сделать абелеву группу , группу Гротендика , формально добавив аддитивную инверсию для каждого расслоения (или класса эквивалентности). В качестве альтернативы можно заметить, что функтор, который для каждой группы принимает основной моноид (игнорируя обратные), имеет левый сопряженный. Это универсальная конструкция, что соответствует обсуждению третьего раздела выше. То есть можно имитировать построение отрицательных чисел ; но есть и другой вариант теоремы существования . В случае финитарных алгебраических структур существование само по себе может быть отнесено к универсальной алгебре или теории моделей ; естественно, существует и доказательство, адаптированное к теории категорий.
Функтор с левым и правым сопряженными. Пусть G — функтор топологических пространств в множества , который сопоставляет каждому топологическому пространству его базовый набор (то есть забывая о топологии). G имеет левый сопряженный F , создающий дискретное пространство на множестве Y , и правый сопряженный H , создающий тривиальную топологию на Y.
Прямые и обратные образы пучков. Каждое непрерывное отображение f : X → Y между топологическими пространствами индуцирует функтор f ∗ из категории пучков (множеств, абелевых групп или колец...) на X в соответствующую категорию пучков на Y , функтор прямого образа . Он также индуцирует функтор f −1 из категории пучков абелевых групп на Y в категорию пучков абелевых групп на X , функтор обратного образа . f −1 сопряжен слева к f ∗ . Здесь более тонкий момент заключается в том, что левый сопряженный для когерентных пучков будет отличаться от сопряженного для пучков (множеств).
Трезвение. В статье о двойственности Стоуна описывается соединение между категорией топологических пространств и категорией трезвых пространств , известное как трезвость. Примечательно, что статья также содержит подробное описание еще одного дополнения, которое готовит почву для знаменитой двойственности трезвых пространств и пространственных локалей, эксплуатируемой в бессмысленной топологии .
Посеты
Каждое частично упорядоченное множество можно рассматривать как категорию (где элементы частично упорядоченного множества становятся объектами категории, и у нас есть единственный морфизм от x до y тогда и только тогда, когда x ≤ y ). Пара сопряженных функторов между двумя частично упорядоченными множествами называется связностью Галуа (или, если она контравариантна, антитонной связностью Галуа). См. эту статью для ряда примеров: случай теории Галуа , конечно, является ведущим. Любая связность Галуа порождает операторы замыкания и обратные, сохраняющие порядок биекции между соответствующими замкнутыми элементами.
Как и в случае с группами Галуа, реальный интерес часто заключается в уточнении соответствия двойственности ( т. е. изоморфизму антитонного порядка). Трактовка Капланским теории Галуа в этом направлении сыграла важную роль в признании здесь общей структуры.
Случай частичного порядка весьма заметно сворачивает определения присоединения, но может обеспечить несколько тем:
присоединения не могут быть двойственностями или изоморфизмами, но являются кандидатами на повышение до этого статуса.
очень общий комментарий Уильяма Лоувера [3] заключается в том, что синтаксис и семантика сопряжены: возьмите C за множество всех логических теорий (аксиоматизаций), а D за степенное множество множества всех математических структур. Для теории T в C пусть G ( T ) будет множеством всех структур, которые удовлетворяют аксиомам T ; для набора математических структур S пусть F ( S ) — минимальная аксиоматизация S. Тогда мы можем сказать, что S является подмножеством G ( T ) тогда и только тогда, когда из F ( S ) логически следует T : «семантический функтор» G правосопряжен к «синтаксическому функтору » F.
Эквиваленты. Если F : D → C — эквивалентность категорий , то мы имеем обратную эквивалентность G : C → D , и два функтора F и G образуют присоединенную пару. В этом случае единица и единица являются естественными изоморфизмами.
Серия дополнений. Функтор π 0 , сопоставляющий категории ее множество компонентов связности, левосопряжен с функтором D , сопоставляющим множеству дискретную категорию на этом множестве. Более того, D левосопряжён к объектному функтору U , который присваивает каждой категории свой набор объектов, и, наконец, U левосопряжён к A , который присваивает каждому множеству недискретную категорию [4] на этом множестве.
Экспоненциальный объект . В декартовой замкнутой категории эндофунктор C → C , заданный формулой –× A, имеет правый сопряженный – A . Эту пару часто называют каррирующей и некаринговой; во многих частных случаях они также непрерывны и образуют гомеоморфизм.
Категорическая логика
Количественная оценка. Если — унарный предикат, выражающий некоторое свойство, то достаточно сильная теория множеств может доказать существование набора термов, которые удовлетворяют этому свойству. Собственное подмножество и связанное с ним введение в характеризуются предикатом, выражающим строго более ограничительное свойство.
Роль кванторов в логике предикатов заключается в формировании предложений, а также в выражении сложных предикатов путем замыкания формул с возможным большим количеством переменных. Например, рассмотрим предикат с двумя открытыми переменными типа sort и . Используя квантор для замыкания , мы можем сформировать множество
всех элементов , для которых существует элемент, к которому он относится, и который сам характеризуется свойством . Теоретико-множественные операции, такие как пересечение двух множеств, напрямую соответствуют соединению предикатов. В категориальной логике , подразделе теории топоса , кванторы отождествляются с сопряженными функтору обратного преобразования. Такую реализацию можно увидеть по аналогии с обсуждением логики высказываний с использованием теории множеств, но общее определение обеспечивает более богатый диапазон логик.
Итак, рассмотрим объект в категории с откатами. Любой морфизм индуцирует функтор
по категории, которая является предзаказом подобъектов . Он отображает подобъекты ( технически: классы мономорфизма ) в обратный образ . Если этот функтор имеет левый или правый сопряженный, они называются и соответственно. [5] Они оба отображаются со спины на . Грубо говоря, при наличии домена для количественной оценки отношения, выраженного через over, функтор/квантификатор замыкается и возвращает указанное таким образом подмножество .
Пример : В категории множеств и функций канонические подобъекты являются подмножеством (или, скорее, их каноническими инъекциями). Откат инъекции подмножества в вдоль характеризуется как самый большой набор, который знает все о и инъекции в . Следовательно, оно оказывается (в биекции) прообразом .
Для выясним левый сопряженный, который определяется через
что здесь просто означает
.
Учитывать . Мы видим . Обратно, если для a также имеем , то, очевидно , . Так подразумевается . Делаем вывод, что левосопряженный к прообразу функтор задается прямым образом. Вот характеристика этого результата, которая больше соответствует логической интерпретации: Образ under — это полный набор символов, такой, что он непустой. Это работает, потому что игнорируется именно то, что находится в дополнении к . Так
Проведите аналогию с нашей мотивацией .
Правый сопряженный функтору обратного образа задается (без выполнения здесь вычислений) выражением
Подмножество характеризуется как полное множество со свойством, в котором полностью содержится обратный образ по отношению к . Обратите внимание, что предикат, определяющий набор, такой же, как и выше, за исключением того, что он заменен на .
Двойной факт в вероятности можно понимать как дополнение: ожидание коммутирует с аффинным преобразованием и что ожидание в некотором смысле является лучшим решением проблемы нахождения вещественного приближения к распределению действительных чисел.
Определите категорию на основе , где объектами являются действительные числа, а морфизмами являются «аффинные функции, оцениваемые в точке». То есть для любой аффинной функции и любого действительного числа определите морфизм .
Определите категорию на основе , набора распределения вероятностей с конечным математическим ожиданием. Определите морфизмы как «аффинные функции, оцениваемые в распределении». То есть для любой аффинной функции и любого определите морфизм .
Тогда дельта-мера Дирака определяет функтор: , а математическое ожидание определяет другой функтор , и они сопряжены: . (Несколько смущает то, что является левым сопряженным, хотя и «забывчивым» и «свободным».)
Дополнения полностью
Следовательно, с каждым присоединением связано множество функторов и естественных преобразований, и лишь небольшой части достаточно, чтобы определить остальные.
Присоединение категорий C и D состоит из
Функтор F : D → C , называемый левым сопряженным
Функтор G : C → D , называемый правым сопряженным
Естественный изоморфизм Φ : hom C ( F –,–) → hom D (–, G –)
Естественное преобразование η : 1 D → GF , называемое единицей
Эквивалентная формулировка, где X обозначает любой объект C , а Y обозначает любой объект D , выглядит следующим образом:
Для каждого C -морфизма f : FY → X существует единственный D -морфизм Φ Y , X ( f ) = g : Y → GX такой, что приведенные ниже диаграммы коммутируют, и для каждого D - морфизма g : Y → GX существует единственный C -морфизм Φ −1 Y , X ( g ) = f : FY → X в C такой, что приведенные ниже диаграммы коммутируют:
Из этого утверждения можно понять, что:
Преобразования ε, η и Φ связаны уравнениями
Преобразования ε, η удовлетворяют счетно-единичным уравнениям
Каждая пара ( FY , η Y ) представляет собой начальный морфизм из Y в G в D
В частности, приведенные выше уравнения позволяют определить Φ, ε и η через любой из трех. Однако одних лишь сопряженных функторов F и G , как правило, недостаточно для определения присоединения. Эквивалентность этих ситуаций продемонстрирована ниже.
Дан правосопряженный функтор G : C → D ; в смысле начальных морфизмов можно построить индуцированное присоединение hom-множества, выполнив следующие шаги.
Построим функтор F : D → C и естественное преобразование η.
Для каждого объекта Y в D выберите начальный морфизм ( F ( Y ), η Y ) из Y в G , так что η Y : Y → G ( F ( Y )). У нас есть отображение F на объектах и семейство морфизмов η.
Для каждого f : Y 0 → Y 1 , поскольку ( F ( Y 0 ), η Y 0 ) является исходным морфизмом, затем разложите η Y 1 o f с помощью η Y 0 и получите F ( f ) : F ( Y 0 ) → Ж ( Y 1 ). Это отображение F на морфизмах.
Коммутационная диаграмма этой факторизации подразумевает коммутационную диаграмму естественных преобразований, поэтому η : 1 D → G o F является естественным преобразованием .
Единственность этой факторизации и то, что G является функтором, означает, что отображение F на морфизмах сохраняет композиции и тождества.
Построим естественный изоморфизм Φ : hom C ( F -,-) → hom D (-, G -).
Для каждого объекта X в C каждый объект Y в D , поскольку ( F ( Y ), η Y ) является исходным морфизмом, то Φ Y , X является биекцией, где Φ Y , X ( f : F ( Y ) → Икс ) знак равно грамм ( ж ) о η Y .
η — естественное преобразование, G — функтор, тогда для любых объектов X 0 , X 1 в C , любых объектов Y 0 , Y 1 в D , любого x : X 0 → X 1 , любого y : Y 1 → Y 0 , у нас есть Φ Y 1 , X 1 ( x o f o F ( y )) = G (x) o G ( f ) o G ( F ( y )) o η Y 1 = G ( x ) o G ( f ) o η Y 0 o y = G ( x ) o Φ Y 0 , X 0 ( f ) o y , и тогда Φ является натуральным по обоим аргументам.
Аналогичное рассуждение позволяет построить присоединение гомомножества терминальных морфизмов к левосопряженному функтору. (Конструкция, начинающаяся с правого сопряженного, встречается несколько чаще, поскольку правый сопряженный во многих сопряженных парах представляет собой тривиально определенное включение или забывчивый функтор.)
присоединение единица-единица вызывает присоединение гомомножества
Учитывая функторы F : D → C , G : C → D и присоединение единица-единица (ε, η) : F G , мы можем построить присоединение hom-множества, найдя естественное преобразование Φ : hom C ( F -, -) → hom D (-, G -) в следующих шагах:
Для каждого f : FY → X и каждого g : Y → GX определите
Преобразования Φ и Ψ естественны, поскольку η и ε естественны.
Используя по порядку, что F является функтором, что ε является натуральным, и уравнение с единичной единицей 1 FY = ε FY o F (η Y ), получаем
следовательно, ΨΦ — тождественное преобразование.
Двойственным образом, используя тот факт, что G является функтором, что η естественно, и уравнение с единицей 1 GX = G (ε X ) o η GX , мы получаем
следовательно, ΦΨ — тождественное преобразование. Таким образом, Φ — естественный изоморфизм с обратным Φ −1 = Ψ.
Присоединение Hom-set вызывает все вышеперечисленное.
Учитывая функторы F : D → C , G : C → D и присоединение к hom-множеству Φ : hom C ( F -,-) → hom D (-, G -), можно построить присоединение единица-единица
,
который определяет семейства начальных и терминальных морфизмов, на следующих этапах:
Пусть для каждого X в C , где – тождественный морфизм.
Пусть для каждого Y в D , где – тождественный морфизм.
Из биективности и естественности Φ следует, что каждый ( GX , ε X ) является терминальным морфизмом из F в X в C , а каждый ( FY , η Y ) является начальным морфизмом из Y в G в D.
Из естественности Φ следует естественность ε и η, а две формулы
для каждого f : FY → X и g : Y → GX (которые полностью определяют Φ).
Подстановка FY вместо X и η Y = Φ Y , FY (1 FY ) вместо g во второй формуле дает первое двуединичное уравнение.
,
и замена GX вместо Y и ε X = Φ −1 GX, X (1 GX ) вместо f в первой формуле дает второе десятиединичное уравнение
.
Характеристики
Существование
Не каждый функтор G : C → D допускает левый сопряженный. Если C — полная категория , то функторы с левыми сопряженными можно охарактеризовать теоремой Питера Дж. Фрейда о сопряженных функторах : G имеет левый сопряженный тогда и только тогда, когда он непрерывен и выполняется определенное условие малости: для каждого объекта Y из D существует семейство морфизмов
ж я : Y → грамм ( Икс я )
где индексы i происходят из множества I , а не из собственного класса , такого, что каждый морфизм
час : Y → г ( Икс )
можно записать как
час знак равно грамм ( т ) ∘ ж я
для некоторого i в I и некоторого морфизма
т : Икс я → Икс ∈ C .
Аналогичное утверждение характеризует функторы с правым сопряженным.
Важным частным случаем являются локально представимые категории . Если – функтор между локально представимыми категориями, то
F имеет правый сопряженный тогда и только тогда, когда F сохраняет малые копределы
F имеет левый сопряженный тогда и только тогда, когда F сохраняет малые пределы и является доступным функтором.
Уникальность
Если функтор F : D → C имеет два правых сопряженных G и G ′, то G и G ′ естественно изоморфны . То же самое справедливо и для левых сопряженных.
И наоборот, если F сопряжена слева с G и G естественно изоморфна G , то F также сопряжена слева с G . В более общем смысле, если 〈F , G , ε, η〉 является присоединением (со единицей-единицей (ε,η)) и
σ : F → F ′
τ : G → G ′
являются естественными изоморфизмами, то 〈F ′, G ′, ε′, η′〉 является присоединением, где
Здесь обозначается вертикальная композиция природных преобразований, а обозначается горизонтальная композиция.
Состав
Присоединения могут составляться естественным образом. В частности, если 〈F , G , ε, η〉 является присоединением между C и D и 〈F ′, G ′, ε′, η′〉 является присоединением между D и E , то функтор
остается присоединенным к
Точнее, между F F' и G' G существует соединение с единицей и единицей, заданными соответственно композициями:
Это новое присоединение называется композицией двух данных присоединения.
Поскольку существует также естественный способ определить тождественное присоединение между категорией C и самой собой, можно затем сформировать категорию, все объекты которой являются малыми категориями , а морфизмы которой являются присоединениями.
Ограничить сохранение
Важнейшим свойством сопряженных является их непрерывность: каждый функтор, имеющий сопряженный слева (и, следовательно, являющийся сопряженным справа), непрерывен (т.е. коммутирует с пределами в теоретическом смысле категорий); каждый функтор, который имеет правый сопряженный (и, следовательно, является левым сопряженным), конепрерывен (т. е. коммутирует с копределами ).
Поскольку многие распространенные конструкции в математике являются пределами или копределами, это дает богатую информацию. Например:
применение правосопряженного функтора к произведению объектов дает произведение изображений;
применение левого сопряженного функтора к копроизведению объектов дает копроизведение изображений;
каждый правосопряженный функтор между двумя абелевыми категориями точен слева ;
каждый сопряженный слева функтор между двумя абелевыми категориями точен справа .
Аддитивность
Если C и D — преаддитивные категории и F : D → C — аддитивный функтор с правым сопряженным G : C → D , то G также является аддитивным функтором и биекции гомомножества
фактически являются изоморфизмами абелевых групп. Двойственно, если G аддитивен с левым сопряженным F , то F также аддитивен.
Более того, если и C , и D являются аддитивными категориями (т.е. предаддитивными категориями со всеми конечными бипродуктами ), то любая пара сопряженных функторов между ними автоматически аддитивна.
Отношения
Универсальные конструкции
Как говорилось ранее, соединение категорий C и D порождает семейство универсальных морфизмов , по одному для каждого объекта в C и по одному для каждого объекта в D. Обратно, если существует универсальный морфизм функтора G : C → D из каждого объекта D , то G имеет левый сопряженный.
Однако универсальные конструкции более общие, чем сопряженные функторы: универсальная конструкция подобна задаче оптимизации; она порождает сопряженную пару тогда и только тогда, когда эта проблема имеет решение для каждого объекта из D (т. е. для каждого объекта из C ).
Эквиваленты категорий
Если функтор F : D → C является половиной эквивалентности категорий , то он является левым сопряженным в присоединенной эквивалентности категорий, т.е. присоединением, единица и единица которого являются изоморфизмами.
Каждое присоединение 〈F , G , ε, η〉 расширяет эквивалентность определенных подкатегорий. Определим C 1 как полную подкатегорию C , состоящую из тех объектов X из C , для которых ε X является изоморфизмом, и определим D 1 как полную подкатегорию D , состоящую из тех объектов Y из D , для которых η Y является изоморфизмом. Тогда F и G могут быть ограничены D1 и C1 и давать обратные эквивалентности этих подкатегорий.
В некотором смысле сопряженные являются «обобщенными» обратными. Обратите внимание, однако, что правый инверсный к F (т.е. функтор G такой, что FG естественно изоморфен 1 D ) не обязательно должен быть правым (или левым) сопряженным к F . Сопряженные обобщают двусторонние обратные.
Монады
Каждое присоединение 〈F , G , ε, η〉 порождает ассоциированную монаду〈T , η, µ〉 в категории D . Функтор
определяется как T = GF . Единица монады
есть всего лишь единица η присоединения и преобразования умножения
задается выражением µ знак равно грамм ε F . Двойственным образом тройка 〈FG , ε, F η G〉 определяет комонаду в C .
Каждая монада возникает из некоторого присоединения — фактически, обычно из многих присоединений — указанным выше способом. Две конструкции, называемые категорией алгебр Эйленберга–Мура и категорией Клейсли, представляют собой два экстремальных решения проблемы построения присоединения, порождающего данную монаду.
Примечания
^ Баэз, Джон К. (1996). «Многомерная алгебра II: 2-гильбертовые пространства». arXiv : q-alg/9609018 .
^ Кан, Дэниел М. (1958). «Сопряженные функторы» (PDF) . Труды Американского математического общества . 87 (2): 294–329. дои : 10.2307/1993102 . JSTOR 1993102.
^ Ловер, Ф. Уильям , «Сопряженность в основаниях», Dialectica , 1969. В наши дни обозначения другие; более простое введение Питера Смита в этих конспектах лекций, в которых эта концепция также соотносится с цитируемой статьей.
Адамек, Иржи; Херрлих, Хорст; Стрекер, Джордж Э. (1990). Абстрактные и конкретные категории. Кошачья радость (PDF) . Джон Уайли и сыновья. ISBN 0-471-60922-6. Збл 0695.18001.