Теория категорий и основания математики
Теория категорий изучает математические структуры и их взаимосвязи посредством объектов и сохраняющих структуру отображений, предлагая унифицированный язык и альтернативное, структурное основание для математики.
Definition
Теория категорий — это раздел математики, который абстрагирует общую структуру математических теорий, изучая категории, совокупности объектов вместе с композируемыми морфизмами, а также функторы и естественные преобразования между ними, акцентируя внимание на взаимосвязях, а не на внутренней конституции.
Scope
Эта область охватывает категории, функторы и естественные преобразования, универсальные свойства и объединяющие понятия предела и копредела, сопряженные функторы и лемму Йонеды, а также теорию топосов, которая обобщает теорию множеств и связывает теорию категорий с логикой и альтернативными основаниями математики.
Sub-topics
Core questions
- Как различные математические конструкции могут быть единообразно описаны универсальными свойствами?
- Что означает эквивалентность двух категорий или функториальность конструкции?
- Как сопряженные функторы охватывают оптимальные решения в математике?
- Как топос служит обобщенной вселенной множеств и средой для логики?
Key theories
- Лемма Йонеды
- Объект определяется с точностью до изоморфизма сетью морфизмов, входящих в него или исходящих из него, так что каждый объект изоморфно вкладывается в категорию функторов, формализуя структурную точку зрения.
- Универсальные свойства и пределы
- Многие конструкции, такие как произведения, ядра и пополнения, характеризуются как универсальные решения задач отображения, объединяя их как пределы или копределы.
- Сопряженные функторы
- Сопряжения связывают функторы, идущие в противоположных направлениях, посредством естественного соответствия морфизмов, охватывая свободные конструкции, забывающие функторы и широкий спектр оптимальных математических процессов.
Clinical relevance
Теория категорий предоставляет унифицированный язык, используемый во всей современной математике и теоретической информатике: она организует алгебру, топологию и геометрию, лежит в основе гомологической алгебры и алгебраической геометрии, обеспечивает семантику теории типов и функционального программирования, а через теорию топосов предлагает структурную альтернативу теоретико-множественным основаниям.
History
Теория категорий была введена Эйленбергом и Маклейном в 1945 году для придания точного смысла естественным преобразованиям в алгебраической топологии. Гротендик переосмыслил алгебраическую геометрию с помощью категорных и топосо-теоретических методов в 1950-х и 1960-х годах, а Ловер продвинул теорию категорий как основание математики через элементарную теорию категории множеств и аксиоматическую теорию топосов.
Key figures
- Samuel Eilenberg
- Saunders Mac Lane
- Alexander Grothendieck
- F. William Lawvere
Related topics
Seminal works
- maclane1998
- awodey2010
- riehl2016
Frequently asked questions
- Почему теорию категорий называют «абстрактной чепухой»?
- Это прозвище, используемое с любовью, отражает то, как теория категорий рассуждает на высоком уровне общности, используя только объекты и морфизмы, часто доказывая результаты единообразно без ссылки на внутренние детали задействованных структур. Общность является особенностью, которая делает аргументы широко применимыми.
- Может ли теория категорий заменить теорию множеств в качестве основания?
- Теория топосов и структурные теории множеств, такие как элементарная теория категории множеств Ловера, предоставляют категорные основания, достаточные для большей части математики. Вопрос о том, должны ли они заменить теорию множеств, обсуждается, но они предлагают подлинную структурную альтернативу, подчеркивающую отношения, а не принадлежность.