Категории, функторы и естественные преобразования

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

Definition

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

Scope

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

Core questions

• Какие данные и аксиомы определяют категорию?
• Как функтор переносит структуру из одной категории в другую?
• Что означает естественность и почему это правильное понятие отображения между функторами?
• Когда две категории эквивалентны, а не равны?

Key theories

Аксиомы категории и функтора

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

Естественные преобразования

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

Лемма и вложение Йонеды

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

Clinical relevance

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

History

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

Key figures

• Samuel Eilenberg
• Saunders Mac Lane
• Nobuo Yoneda

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

В чем смысл естественных преобразований?

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

Что такое эквивалентность категорий?

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