Сопряженные функторы

Сопряженные функторы — это пары функторов, связанные естественным соответствием между морфизмами, что представляет собой повсеместно встречающуюся закономерность, охватывающую свободные конструкции, забывающие функторы и оптимальные решения во всей математике.

Definition

Функтор является левым сопряженным к функтору в противоположном направлении, когда существует естественная биекция между морфизмами из объекта источника в образ объекта и морфизмами из его образа в этот объект; это единственное отношение кодирует универсальное свойство для каждого объекта.

Scope

Эта тема охватывает определение сопряжения через естественную биекцию множеств Hom, эквивалентные формулировки через единицу и коединицу и через универсальные стрелки, сохранение пределов правыми сопряженными функторами и копределов левыми сопряженными функторами, теоремы о сопряженных функторах и связь между сопряжениями и монадами.

Core questions

• Какое естественное соответствие определяет сопряжение между двумя функторами?
• Как единица и коединица кодируют сопряжение?
• Почему правые сопряженные функторы сохраняют пределы, а левые сопряженные функторы сохраняют копределы?
• Когда функтор имеет сопряженный функтор?

Key theories

Сопряжение Hom-множеств

Сопряжение — это естественный изоморфизм между двумя Hom-функторами, так что каждый левый сопряженный функтор предоставляет свободное или наиболее эффективное решение проблемы, поставленной правым сопряженным функтором.

Единица, коединица и треугольные тождества

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

Сохранение пределов и копределов

Правые сопряженные функторы сохраняют все пределы, а левые сопряженные функторы сохраняют все копределы, что объясняет многие свойства непрерывности и точности и подтверждает теоремы о сопряженных функторах, дающие критерии существования.

Clinical relevance

Сопряжения являются одними из наиболее объединяющих идей в математике: свободные группы, соотношения тензор-Hom, компактификация Стоуна-Чеха, а также связь между синтаксисом и семантикой в логике — все это сопряжения. Распознавание сопряжения немедленно дает универсальные свойства и результаты сохранения, поэтому теоретики категорий считают сопряженность центральной концепцией.

History

Дэниел Кан ввел сопряженные функторы в 1958 году, распознав повторяющуюся закономерность, связывающую свободные и забывающие функторы и другие двойственные конструкции. Лоувер подчеркнул фундаментальность сопряжений, включая сопряженность между синтаксисом и семантикой, а теоремы Фрейда о сопряженных функторах дали общие условия существования сопряженных функторов.

Key figures

• Daniel Kan
• Saunders Mac Lane
• F. William Lawvere
• Peter Freyd

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

Какой знакомый пример сопряжения?

Функтор свободной группы является левым сопряженным к функтору, который забывает групповую структуру группы, сводя ее к лежащему в основе множеству. Отображения из множества в группу естественно соответствуют гомоморфизмам из свободной группы на этом множестве, что и является биекцией сопряжения.

Почему математики говорят, что сопряженные функторы встречаются повсюду?

Свободные конструкции, пополнения, произведения и экспоненты, а также многие отношения между структурой и ее более простой тенью являются сопряжениями. Эта закономерность настолько распространена, что обнаружение сопряжения часто является самым быстрым путем к универсальному свойству конструкции и ее сохранению пределов или копределов.