Las relaciones por encima de las cosas / Teoría de categorías

Una cosa es sus conexiones

El último ensayo prohibió mirar dentro de los objetos y prometió que la pérdida no era real. Aquí está por qué. La teoría de categorías contiene un resultado — el lema de Yoneda — cuyo enunciado técnico es seco y cuyo significado es extraordinario: un objeto está completamente determinado por la totalidad de sus relaciones con todos los demás objetos.

Explicado: si conoces cada flecha que entra en una cosa (o cada flecha que sale de ella), y cómo se componen esas flechas, conoces la cosa completamente. Dos objetos que se relacionan con todo lo demás exactamente de la misma manera no son meramente similares — son, para todo propósito, el mismo objeto. No hay ningún hecho adicional sobre lo que «son realmente» escondido detrás de las relaciones.

La identidad es relacional

Esta es una afirmación sobre la identidad misma, y va contra una intuición profunda. Tendemos a pensar que una cosa tiene una esencia interior — un núcleo de lo-que-es que mantendría incluso si todo alrededor desapareciera. La teoría de categorías dice: no hay tal núcleo, o más bien, el núcleo no está dentro de la cosa en absoluto. Es el patrón de cómo la cosa se sitúa en relación con todo lo demás.

Considera el número cinco. ¿Qué es? No una esencia privada escondida en algún depósito platónico. Cinco es la cosa que viene después de cuatro y antes de seis, que sumada a siete da doce, que cuenta estos dedos. Es una posición en la red de relaciones aritméticas — y esa posición, completamente especificada, no deja nada más por saber. La «cinco-idad» no es una sustancia. Es un rol.

Dime cómo algo se relaciona con todo lo demás, completamente, y no he descrito la cosa — te la he dado. No hay residuo.

El giro estructuralista

Esta es la forma rigurosa de una idea que ha surgido en cada tema hasta ahora. El valor, dijimos, no estaba en el objeto o en la mente sino en la relación entre ellos. Las decisiones se transferían porque su estructura — relaciones entre opciones — llevaba el significado, no su contenido. Ahora la matemática más abstracta que tenemos dice lo mismo sobre la existencia misma: ser es estar en relaciones, y las relaciones no se añaden encima de la cosa; son constitutivas de ella.

Es una revolución silenciosa en cómo pensar cualquier cosa. Deja de preguntar «¿qué es esto, en sí mismo?» — una pregunta que puede no tener respuesta — y pregunta en cambio «¿cómo se relaciona esto con todo lo que lo rodea?». La segunda pregunta siempre tiene respuesta, y su respuesta completa es todo lo que la primera pregunta buscaba.

Por qué esto es liberador, no desinflante

Puede sonar como una pérdida: las cosas no tienen profundidad interior, solo una red de conexiones. Pero dale la vuelta. Significa que la identidad es legible — plenamente disponible en el patrón de relaciones, no encerrada en una esencia inaccesible. Significa que una cosa puede entenderse completamente desde fuera, mapeando cómo se conecta. Y significa que de qué está hecha una cosa es, para todo propósito estructural, irrelevante: lo que importa es el rol que juega, y un rol puede ser jugado por muchos materiales diferentes.

Ese último punto no es una nota al pie. Si la identidad es relacional y los roles son indiferentes al substrato, entonces la misma estructura puede realizarse en materias completamente diferentes y ser, en todo lo que importa, la misma. Un patrón no le importa en qué se imprime.

Esa es la idea siguiente, y es la que permite que esta matemática abstracta alcance todo el camino hasta las mentes, los medios, y la pregunta de qué hace que cualquier cosa — o cualquiera — sea ella misma.