Теория категорий - Category theory

Схематическое изображение категории с объектами Х , Y , Z и морфизмов F , г , ге . (Три тождественных морфизма категории 1 X , 1 Y и 1 Z , если они представлены явно, появятся в виде трех стрелок от букв X, Y и Z к себе, соответственно.)

Теория категорий формализует математическую структуру и ее концепции в терминах помеченного ориентированного графа, называемого категорией , узлы которой называются объектами , а помеченные направленные ребра - стрелками (или морфизмами ). Категория имеет два основных свойства: способность сочинить стрелки ассоциативно , и существование идентичности стрелки для каждого объекта. Язык теории категорий использовался для формализации концепций других абстракций высокого уровня, таких как множества , кольца и группы . Неформально теория категорий - это общая теория функций .

Некоторые термины, используемые в теории категорий, включая термин «морфизм», используются иначе, чем их использование в остальной математике. В теории категорий морфизмы подчиняются условиям, специфичным для самой теории категорий.

Сэмюэл Эйленберг и Сондерс Мак Лейн в 1942–45 в своем исследовании алгебраической топологии ввели концепции категорий, функторов и естественных преобразований с целью понимания процессов, сохраняющих математическую структуру.

Теория категорий имеет практическое применение в теории языков программирования , например, использование монад в функциональном программировании . Его также можно использовать в качестве аксиоматической основы математики, как альтернативу теории множеств и другим предлагаемым основам.

Основные понятия

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

Базовым примером категории является категория наборов , где объекты являются наборами, а стрелки - функциями от одного набора к другому. Однако объекты категории не обязательно должны быть наборами, и стрелки не обязательно должны быть функциями. Любой способ формализации математической концепции таким образом, чтобы она удовлетворяла основным условиям поведения объектов и стрелок, является допустимой категорией, и к ней применимы все результаты теории категорий.

Часто говорят, что «стрелки» теории категорий представляют процесс, соединяющий два объекта, или во многих случаях «сохраняющее структуру» преобразование, соединяющее два объекта. Однако во многих приложениях гораздо более абстрактные концепции представлены объектами и морфизмами. Самым важным свойством стрелок является то, что их можно «скомпоновать», другими словами, расположить их в последовательности, чтобы образовать новую стрелку.

Приложения категорий

Категории теперь появляются во многих областях математики, некоторых областях теоретической информатики, где они могут соответствовать типам или схемам баз данных , и математической физике, где они могут использоваться для описания векторных пространств . Вероятно, первым применением теории категорий за пределами чистой математики была модель «восстановления метаболизма» автономных живых организмов Роберта Розена .

Полезность

Категории, объекты и морфизмы

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

Рассмотрим следующий пример. Класс Grp из групп состоит из всех объектов , имеющих «групповой структуры». Можно перейти к доказательству теорем о группах, сделав логические выводы из набора аксиом, определяющих группы. Например, из аксиом сразу доказывается, что единичный элемент группы уникален.

Вместо того, чтобы сосредотачиваться только на отдельных объектах (например, группах), обладающих данной структурой, теория категорий подчеркивает морфизмы - сохраняющие структуру отображения - между этими объектами; изучая эти морфизмы, можно больше узнать о структуре объектов. В случае групп морфизмы являются гомоморфизмами групп . Групповой гомоморфизм между двумя группами «сохраняет структуру группы» в точном смысле; неформально это «процесс» перехода одной группы к другой, который переносит информацию о структуре первой группы во вторую группу. Затем изучение гомоморфизмов групп предоставляет инструмент для изучения общих свойств групп и следствий групповых аксиом.

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

Однако не все категории возникают как «функции, сохраняющие структуру»; стандартный пример - категория гомотопий между точечными топологическими пространствами .

Если аксиоматизировать отношения вместо функций , получится теория аллегорий .

Функторы

Категория сама по себе является типом математической структуры, поэтому мы можем искать «процессы», которые в некотором смысле сохраняют эту структуру; такой процесс называется функтором .

Погоня за диаграммами - это визуальный метод спора с абстрактными «стрелками», соединенными в диаграммы. Функторы представлены стрелками между категориями с учетом определенных определяющих условий коммутативности. Функторы могут определять (строить) категориальные диаграммы и последовательности (см. Mitchell, 1965). Функтор связывает с каждым объектом одной категории объект другой категории, а с каждым морфизмом первой категории - морфизмом второй.

В результате это определяет категорию категорий и функторов: объекты являются категориями, а морфизмы (между категориями) являются функторами.

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

Природные трансформации

Снова абстрагируясь, можно сказать, что некоторые схематические и / или последовательные конструкции часто «естественным образом связаны» - на первый взгляд расплывчатое понятие. Это приводит к прояснению концепции естественного преобразования , способа «сопоставить» один функтор с другим. В этом контексте можно изучать многие важные математические конструкции. «Естественность» - это принцип, как и общая ковариация в физике, который проникает глубже, чем кажется на первый взгляд. Стрелка между двумя функторами является естественным преобразованием, когда она подчиняется определенным условиям естественности или коммутативности.

Функторы и естественные преобразования («естественность») являются ключевыми понятиями в теории категорий.

Категории, объекты и морфизмы

Категории

Категория C состоит из следующих трех математических объектов:

  • Класс Ob ( С ), элементы которого называются объектами ;
  • Класс Хом ( С ), элементы которого называются морфизмами или карты или стрелки . Каждый морфизм f имеет исходный объект a и целевой объект b .
    Выражение f  : ab было бы словесно сформулировано как « f является морфизмом от a к b ».
    Выражение hom ( a , b ) - альтернативно выражаемое как hom C ( a , b ) , mor ( a , b ) или C ( a , b ) - обозначает hom-класс всех морфизмов от a до b .
  • Бинарная операция ∘, называется композицией морфизмов , такие , что для любых трех объектов а , б , и гр , мы имеем ∘: Хомы ( б , с ) × Хомами ( , б ) → Hom ( , с ) . Композиция f  : ab и g  : bc записывается как gf или gf , что определяется двумя аксиомами:
Из аксиом можно доказать, что для каждого объекта существует ровно один морфизм идентичности . Некоторые авторы отклоняются от только что данного определения, отождествляя каждый объект с его морфизмом идентичности.

Морфизмы

Отношения между морфизмами (например, fg = h ) часто изображаются с помощью коммутативных диаграмм , где «точки» (углы) представляют объекты, а «стрелки» - морфизмы.

Морфизмы могут обладать одним из следующих свойств. Морфизм f  : ab - это a:

  • мономорфизм (или монический ), если fg 1 = fg 2, влечет g 1 = g 2 для всех морфизмов g 1 , g 2  : xa .
  • эпиморфизм (или эпический ), если g 1f = g 2f влечет g 1 = g 2 для всех морфизмов g 1 , g 2  : bx .
  • биморфизм, если f одновременно эпический и монический.
  • изоморфизм, если существует морфизм g  : ba такой, что fg = 1 b и gf = 1 a .
  • эндоморфизм, если a = b . end ( a ) обозначает класс эндоморфизмов a .
  • автоморфизм, если f одновременно и эндоморфизм, и изоморфизм. aut ( a ) обозначает класс автоморфизмов a .
  • отвод , если правая обратный F существует, то есть , если существует морфизм г  : б с йг = 1 б .
  • раздел , если левый обратный F существует, то есть , если существует морфизм г  : б с ге = 1 .

Каждая ретракция - это эпиморфизм, а каждая секция - мономорфизм. Более того, следующие три утверждения эквивалентны:

  • f - мономорфизм и ретракция;
  • f - эпиморфизм и сечение;
  • f - изоморфизм.

Функторы

Функторы - это сохраняющие структуру карты между категориями. Их можно рассматривать как морфизмы в категории всех (малых) категорий.

( Ковариантный ) функтор F из категории C в категорию D , обозначаемый F  : CD , состоит из:

  • для каждого объекта x в C - объект F ( x ) в D ; и
  • для каждого морфизма f  : xy в C морфизм F ( f ): F ( x ) → F ( y ) ,

такие, что выполняются следующие два свойства:

  • Для каждого объекта x в C , F (1 x ) = 1 F ( x ) ;
  • Для всех морфизмов f  : xy и g  : yz , F ( gf ) = F ( g ) ∘ F ( f ) .

Контравариантный функтор F : CD , как ковариантный функтор, за исключением того, что он «повороты вокруг морфизмы» ( «переворачивают все стрелки»). Более конкретно, каждый морфизм F  : ху в C должен быть присвоен морфизм F ( ф ): Р ( у ) → F ( х ) в D . Другими словами, контравариантный функтор действует как ковариантный функтор из противоположной категории C оп к D .

Природные трансформации

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

Если F и G являются (ковариантными) функторами между категориями C и D , то естественное преобразование η из F в G сопоставляет каждому объекту X в C морфизм η X  : F ( X ) → G ( X ) в D такой, что для любого морфизма f  : XY в C имеем η YF ( f ) = G ( f ) ∘ η X ; это означает, что следующая диаграмма коммутативна :

Коммутативная диаграмма, определяющая естественные преобразования

Два функторы F и G называются естественно изоморфными , если существует естественное преобразование от F к G такое , что η Х является изоморфизмом для каждого объекта X в C .

Другие концепции

Универсальные конструкции, пределы и копределы

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

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

Многие важные конструкции могут быть описаны чисто категориальным образом, если предел категории может быть развит и дуализирован, чтобы дать понятие копредела .

Эквивалентные категории

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

Дополнительные концепции и результаты

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

  • Категория функтора Д С имеет в качестве объектов функторов от C до D , а в качестве морфизмов естественных преобразований таких функторов. Йонеды лемма является одним из самых известных основных результатов теории категорий; он описывает представимые функторы в категориях функторов.
  • Двойственность : каждое утверждение, теорема или определение в теории категорий имеет двойственность, которая по существу получается «обращением всех стрелок вспять». Если одно утверждение истинно в категории C, то его двойственное утверждение истинно в двойственной категории C op . Эта двойственность, прозрачная на уровне теории категорий, часто скрывается в приложениях и может приводить к неожиданным отношениям.
  • Присоединенные функторы : Функтор может быть присоединен слева (или справа) к другому функтору, который отображается в противоположном направлении. Такая пара сопряженных функторов обычно возникает из конструкции, определяемой универсальным свойством; это можно рассматривать как более абстрактный и мощный взгляд на универсальные свойства.

Категории высших измерений

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

Например, (строгая) 2-категория - это категория вместе с «морфизмами между морфизмами», т. Е. Процессами, которые позволяют нам преобразовывать один морфизм в другой. Затем мы можем «скомпоновать» эти «биморфизмы» как по горизонтали, так и по вертикали, и нам потребуется выполнение двумерного «закона обмена», связывающего два закона композиции. В этом контексте стандартным примером является Cat , 2-категория всех (малых) категорий, и в этом примере биморфизмы морфизмов - это просто естественные преобразования морфизмов в обычном смысле. Другой базовый пример - рассмотреть 2 категории с одним объектом; это по существу моноидальные категории . Бикатегории - более слабое понятие двумерных категорий, в которых композиция морфизмов не является строго ассоциативной, а только ассоциативной «с точностью до» изоморфизма.

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

Категории высших измерений являются частью более широкого математического поля алгебры многомерных измерений - концепции, введенной Рональдом Брауном . Для разговорного введения в эти идеи см. John Baez, «A Tale of n -categories» (1996).

Исторические заметки

Прежде всего следует заметить, что все понятие категории является по существу вспомогательным; наши основные концепции по сути являются концепциями функтора и естественного преобразования [...]

-  Сэмюэл Эйленберг и Сондерс Мак Лейн , Общая теория естественных эквивалентностей

В 1942–45 гг. Самуэль Эйленберг и Сондерс Мак Лейн в рамках своей работы в области топологии, особенно алгебраической топологии, ввели категории, функторы и естественные преобразования . Их работа была важной частью перехода от интуитивной и геометрической гомологии к гомологической алгебре . Позже Эйленберг и Мак Лейн писали, что их целью было понять естественные трансформации. Это потребовало определения функторов, которые требовали категорий.

Станислав Улам и некоторые писавшие от его имени утверждали, что подобные идеи были актуальны в конце 1930-х годов в Польше. Эйленберг был поляком и изучал математику в Польше в 1930-х годах. Теория категорий также в некотором смысле является продолжением работы Эмми Нётер (одного из учителей Мак Лейна) по формализации абстрактных процессов; Нётер осознала, что понимание типа математической структуры требует понимания процессов, которые сохраняют эту структуру ( гомоморфизмы ). Эйленберг и Мак Лейн ввели категории для понимания и формализации процессов ( функторов ), которые связывают топологические структуры с алгебраическими структурами ( топологическими инвариантами ), которые их характеризуют.

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

Некоторые категории называемых топосами (особый топос ) , могут даже служить в качестве альтернативы аксиоматической теории множеств в качестве основы математики. Топос также можно рассматривать как особый тип категории с двумя дополнительными аксиомами топоса. Эти фундаментальные приложения теории категорий были достаточно подробно проработаны в качестве основы и обоснования конструктивной математики . Теория Топоса - это форма абстрактной теории пучков , имеющая геометрическое происхождение и ведущая к таким идеям, как бессмысленная топология .

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

Теория категорий применялась и в других областях. Например, Джон Баэз показал связь между диаграммами Фейнмана в физике и моноидальными категориями. Другое применение теории категорий, более конкретно: теория топосов, было сделано в математической теории музыки, см., Например, книгу Герино Маццолы «Топосы музыки, геометрическая логика концепций, теории и перформанса » .

Более поздние попытки познакомить студентов с категориями в качестве основы математики включают попытки Уильяма Ловера и Розбру (2003), Ловера и Стивена Шануэля (1997) и Миррослава Йотова (2012).

Смотрите также

Примечания

использованная литература

Цитаты

Источники

дальнейшее чтение

  • Маркиз, Жан-Пьер (2008). С геометрической точки зрения: исследование истории и философии теории категорий . Springer. ISBN 978-1-4020-9384-5.

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