Categorias, Funtores e Transformações Naturais

Categorias, funtores e transformações naturais são as três noções básicas da teoria das categorias, formalizando estruturas, os mapeamentos entre estruturas e os mapeamentos entre esses mapeamentos.

Definition

Uma categoria consiste em objetos e morfismos que se compõem associativamente com identidades; um funtor mapeia objetos e morfismos de uma categoria para outra, preservando a composição e as identidades; uma transformação natural atribui a cada objeto um morfismo de modo que ele comute com as ações de dois funtores.

Scope

Este tópico abrange a definição de uma categoria por objetos, morfismos, composição e identidades, a noção de um funtor como um mapeamento que preserva a estrutura entre categorias, transformações naturais como morfismos de funtores, e as noções resultantes de isomorfismo, equivalência de categorias e o mergulho de Yoneda.

Core questions

• Quais dados e axiomas definem uma categoria?
• Como um funtor transporta a estrutura de uma categoria para outra?
• O que significa naturalidade e por que é a noção correta de mapeamento entre funtores?
• Quando duas categorias são equivalentes em vez de iguais?

Key theories

Axiomas de categoria e funtor

A composição de morfismos é associativa e unitária, e os funtores preservam essa estrutura composicional, de modo que as construções categóricas são estáveis sob os mapeamentos que relacionam as categorias.

Transformações naturais

Uma transformação natural relaciona dois funtores por uma família de morfismos compatíveis com todos os mapeamentos na categoria fonte, capturando a ideia informal de uma construção definida uniformemente e sem escolhas arbitrárias.

Lema e mergulho de Yoneda

As transformações naturais de um funtor representado correspondem a elementos, de modo que cada objeto é determinado por seus morfismos e se incorpora de forma plena e fiel em uma categoria de funtores.

Clinical relevance

Essas três noções constituem o vocabulário em que a matemática categórica é escrita: funtores formalizam construções como a formação de um grupo fundamental ou de um anel polinomial, a naturalidade identifica construções canônicas, e a perspectiva de Yoneda fundamenta a visão estrutural que permeia a álgebra, a topologia e a semântica das linguagens de programação.

History

Eilenberg e Mac Lane introduziram categorias, funtores e transformações naturais em 1945, com as transformações naturais como o conceito motivador que exigiu que os outros fossem definidos precisamente. O lema de Yoneda, atribuído a Nobuo Yoneda, logo se tornou a pedra angular que expressa o ponto de vista da representabilidade do assunto.

Key figures

• Samuel Eilenberg
• Saunders Mac Lane
• Nobuo Yoneda

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

Qual é o propósito das transformações naturais?

Elas tornam preciso quando uma construção é canônica, definida da mesma forma para cada objeto sem escolhas arbitrárias. O exemplo clássico é o mapeamento natural de um espaço vetorial para seu duplo dual, que existe uniformemente, ao contrário do mapeamento para o dual simples, que depende de uma escolha de base.

O que é uma equivalência de categorias?

É um par de funtores entre duas categorias cujos compostos são naturalmente isomorfos às identidades. Categorias equivalentes compartilham todas as propriedades categóricas, mesmo quando não são literalmente idênticas, o que é a noção apropriada de igualdade na teoria das categorias.