El functor como traducción / Teoría de categorías

Mapeando entre mundos

Los ensayos anteriores trabajaron dentro de una sola categoría — objetos y flechas en un dominio. Pero el verdadero poder aparece cuando mapeas una categoría entera sobre otra. La manera de preservar la estructura de hacerlo se llama un functor: una traducción que envía objetos a objetos y flechas a flechas, y — crucialmente — preserva la composición, de modo que la manera en que las cosas se encadenan en la fuente se refleja exactamente en el objetivo.

Un functor no es un parecido suelto. Es una correspondencia disciplinada que garantiza que las relaciones sobrevivan al viaje. Todo lo que se componía en el primer mundo se compone de la misma manera en el segundo. La forma se lleva intacta.

La analogía, hecha exacta

Esta es la forma rigurosa de algo que hacemos constantemente y usualmente mal: la analogía. Cuando dices que una situación es «como» otra, estás reclamando un functor — un mapeo bajo el cual las relaciones en un dominio corresponden a relaciones en el otro. La analogía es buena exactamente en la medida en que el mapeo preserva la estructura, y falla exactamente donde la composición se rompe: donde encadenar las relaciones en la fuente ya no coincide con encadenarlas en el objetivo.

Esto da una cuenta precisa de por qué algunas analogías iluminan y otras engañan. Una buena analogía es un functor fiel: lleva el patrón de manera tan completa que lo que pruebas en un dominio puedes leerlo en el otro. Una mala analogía es un mapa roto: coincide con algunos objetos pero no con las flechas, así que las conclusiones que sacas siguiendo relaciones en la fuente resultan falsas en el objetivo. La habilidad de pensar bien en metáfora es, formalmente, la habilidad de verificar si tu functor preserva la composición.

Todo modelo es un functor. Mapea un dominio desordenado a uno manejable y es confiable solo en la medida en que preserva las relaciones que importan. Un modelo que mantiene los objetos pero deja caer las flechas es una lista, no una comprensión.

Lo que esta investigación ha estado haciendo

Mira hacia atrás y toda la estructura de estos temas se revela como una serie de functors. Mapeamos la lógica de la evolución sobre la lógica de la cultura — acumulación, deriva, selección — y el mapeo se sostuvo porque preservaba las relaciones, no solo las palabras. Mapeamos la convexidad de las opciones sobre la convexidad de las instituciones, de las carreras, de los experimentos, y las lecciones se transfirieron porque una sola estructura estaba siendo llevada a través de muchos materiales por una correspondencia fiel.

Por eso la misma puñado de ideas seguía reapareciendo en tema tras tema. No eran coincidencias y no eran parecidos vagos. Eran imágenes functoriales unas de otras — la misma estructura, traducida fielmente en nuevos dominios, sus relaciones intactas. La línea de continuidad de toda esta investigación es, en el sentido estricto, una red de functors conectando una región de conocimiento a la siguiente.

Traducción hacia el presente

Un functor te permite tomar todo lo que entiendes de un mundo y portarlo a otro, siempre que la estructura se mapee. Ese es el movimiento más poderoso en el pensamiento: dejar de resolver cada dominio desde cero y en su lugar llevar una estructura resuelta al dominio no resuelto.

Ahora sostenemos la caja de herramientas completa. La identidad es relacional; el significado es estructural e independiente del substrato; y los functors llevan la estructura fielmente de cualquier dominio a cualquier otro que comparta su forma. La cosa natural que hacer con una herramienta tan general es apuntarla al mundo en el que realmente vivimos — y la característica definitoria de ese mundo es que ha hecho, a escala planetaria y por beneficio, exactamente lo que la teoría de categorías describe: ha abstracto lo humano en estructura capturable, despojada de substrato, portada a máquinas. El primer lugar donde esa abstracción muerde es el recurso humano más escaso de todos. La lente está construida. Es hora de apuntarla al feed.