Categorías, Funtores y Transformaciones Naturales

Las categorías, los funtores y las transformaciones naturales son las tres nociones básicas de la teoría de categorías, que formalizan las estructuras, los mapas entre estructuras y los mapas entre dichos mapas.

Definition

Una categoría consiste en objetos y morfismos que se componen asociativamente con identidades; un funtor mapea objetos y morfismos de una categoría a otra preservando la composición y las identidades; una transformación natural asigna a cada objeto un morfismo de modo que conmuta con las acciones de dos funtores.

Scope

Este tema cubre la definición de una categoría mediante objetos, morfismos, composición e identidades, la noción de un funtor como un mapa que preserva la estructura entre categorías, las transformaciones naturales como morfismos de funtores, y las nociones resultantes de isomorfismo, equivalencia de categorías y la incrustación de Yoneda.

Core questions

• ¿Qué datos y axiomas definen una categoría?
• ¿Cómo transporta un funtor la estructura de una categoría a otra?
• ¿Qué significa la naturalidad y por qué es la noción correcta de mapa entre funtores?
• ¿Cuándo son dos categorías equivalentes en lugar de iguales?

Key theories

Axiomas de categoría y funtor

La composición de morfismos es asociativa y unitaria, y los funtores preservan esta estructura composicional, por lo que las construcciones categóricas son estables bajo los mapas que relacionan las categorías.

Transformaciones naturales

Una transformación natural relaciona dos funtores mediante una familia de morfismos compatibles con todos los mapas en la categoría fuente, capturando la idea informal de una construcción definida uniformemente y sin elecciones arbitrarias.

Lema e incrustación de Yoneda

Las transformaciones naturales de un funtor representado corresponden a elementos, por lo que cada objeto está determinado por sus morfismos y se incrusta de forma completa y fiel en una categoría de funtores.

Clinical relevance

Estas tres nociones constituyen el vocabulario en el que se escribe la matemática categórica: los funtores formalizan construcciones como la formación de un grupo fundamental o un anillo de polinomios, la naturalidad identifica construcciones canónicas, y la perspectiva de Yoneda fundamenta la visión estructural que impregna el álgebra, la topología y la semántica de los lenguajes de programación.

History

Eilenberg y Mac Lane introdujeron las categorías, los funtores y las transformaciones naturales en 1945, siendo las transformaciones naturales el concepto motivador que requirió que los otros se definieran con precisión. El lema de Yoneda, atribuido a Nobuo Yoneda, pronto se convirtió en la piedra angular que expresaba el punto de vista de la representabilidad del tema.

Key figures

• Samuel Eilenberg
• Saunders Mac Lane
• Nobuo Yoneda

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

¿Cuál es el propósito de las transformaciones naturales?

Precisamente, establecen cuándo una construcción es canónica, definida de la misma manera para cada objeto sin elecciones arbitrarias. El ejemplo clásico es el mapa natural de un espacio vectorial a su doble dual, que existe uniformemente, a diferencia del mapa al dual simple, que depende de una elección de base.

¿Qué es una equivalencia de categorías?

Es un par de funtores entre dos categorías cuyos compuestos son naturalmente isomorfos a las identidades. Las categorías equivalentes comparten todas las propiedades categóricas incluso cuando no son literalmente idénticas, lo cual es la noción apropiada de igualdad en la teoría de categorías.