Objetos y flechas
La teoría de categorías comienza con un rechazo: no se te permite mirar dentro de las cosas. Solo puedes ver cómo se mapean unas con otras. A partir de esa única restricción — objetos, flechas, y la regla para encadenar flechas — se despliega una manera entera de entender el mundo.
La restricción fundacional
La mayoría de las maneras de entender una cosa empiezan abriéndola: ¿de qué está hecha, qué hay dentro? La teoría de categorías empieza prohibiendo esa pregunta. Dice: no puedes mirar dentro de un objeto. Solo puedes ver las flechas — las maneras de preservar la estructura por las que un objeto se mapea a otro. Lo que sea que quieras saber, debes reconstruirlo a partir del patrón de flechas solo.
Esto suena como un handicap paralizante. Resulta ser un superpoder. Al negarse a mirar dentro, la teoría de categorías captura exactamente lo que es común a cosas radicalmente diferentes — porque los interiores son lo que difiere, y las flechas son lo que comparten.
Qué es una categoría
La maquinaria es casi insultantemente simple. Una categoría es solo dos tipos de cosas y una regla:
- Objetos — puntos, cuya naturaleza interna acordamos ignorar.
- Flechas (o morfismos) — conexiones de un objeto a otro, las relaciones que respetan cualquier estructura que esté en juego.
- Composición — la regla de que las flechas se encadenan: si hay una flecha de A a B y una de B a C, hay una flecha compuesta directamente de A a C.
Añade dos condiciones de mantenimiento — cada objeto tiene una flecha de identidad hacia sí mismo, y la composición no se preocupa de cómo la agrupes — y esa es toda la definición. Todo lo demás en este vasto sujeto se construye a partir de puntos, flechas, y el hecho de que las flechas se componen.
Por qué la composición es el corazón
La verdadera estrella aquí es la composición. Es el enunciado formal de que las relaciones se encadenan — que las conexiones se combinan en conexiones adicionales, de manera predecible. Una ruta de casa a la estación y una de la estación al trabajo se componen en una ruta de casa al trabajo. Una función que alimenta a otra función se compone en una función única. Una causa que lleva a un efecto que lleva a un efecto se compone en causa-a-efecto-final.
La composición es lo que convierte una colección de flechas en una estructura en lugar de un montón de enlaces desconectados. Es la regla que permite que las relaciones locales se construyan en globales, y es la razón por la que una categoría puede describir cualquier cosa que tenga partes conectadas de maneras que se combinan.
Una categoría es la matemática mínima de «cosas conectadas por relaciones que se encadenan». Casi todo es eso, por eso la teoría de categorías trata de casi todo.
El punto definido por sus flechas
La consecuencia más extraña y más importante de la restricción fundacional es lo que le pasa a los objetos. Prohibido mirar dentro, llegas a conocer cada punto enteramente por sus flechas — lo que se mapea hacia él, hacia qué se mapea, cómo se componen. El objeto deja de ser una cosa con contenidos y se convierte en una posición en una red de relaciones.
Esto no es una pérdida de información. Es un descubrimiento de que, para todo lo que importa estructuralmente, la red de relaciones era la información. El «interior» que se te prohibió mirar resulta ser irrelevante para toda pregunta estructural — y la apuesta de la teoría de categorías es que las preguntas estructurales son las profundas.
Por qué empezar un tema aquí
Citar este ensayo
@online{culturedperson:objects-and-arrows,
title = {Objetos y flechas},
author = {{culturedperson.com}},
year = {2026},
url = {https://culturedperson.com/es/category-theory/objects-and-arrows},
urldate = {2026-08-12},
note = {Teoría de categorías, culturedperson.com}
}