Prefacio
Una función parece un objeto demasiado familiar para suscitar una investigación fundacional. Aprendemos a escribir \(f(x)\), a componer aplicaciones y a representar sus valores mucho antes de preguntarnos qué hemos declarado al decir que \(f\) existe. Pero la familiaridad de la notación encubre problemas diferentes: ¿qué hace que una correspondencia sea una función?, ¿cómo se identifica la misma función bajo descripciones distintas?, ¿cuándo podemos escoger un valor, extender una aplicación o calcularlo?, ¿qué cambia si sustituimos conjuntos por objetos y flechas, o los valores por los nombres con que un programa puede acceder a ellos?
Este tratado nace de esas preguntas. Su propósito no es fabricar una definición que borre las diferencias entre todas las teorías, sino descubrir qué puede traducirse de una a otra y qué hipótesis hacen posible cada traducción. En ocasiones bastarán identidades y composición; en otras necesitaremos productos fibrados, imágenes, exponenciales, un clasificador de subobjetos o datos efectivos. Una relación total no trae consigo una selección arbitraria. Una igualdad matemática no aporta por sí sola un procedimiento para reconocerla. Un isomorfismo puede conservar estructura sin proporcionar un algoritmo que transforme nombres. La tarea consiste en mantener visibles esas fronteras.
Un modo de estudiar
Este libro forma parte de Matemática Abierta y responde a una convicción de trabajo: enseñar es una manera exigente de aprender. La escritura pública de las demostraciones obliga a encontrar los pasos que la familiaridad con una fórmula permite pasar por alto. No poseo un título universitario en matemáticas; por ello considero especialmente importante que las afirmaciones puedan examinarse en sus hipótesis, definiciones, dependencias y pruebas, en lugar de descansar en una apelación a la autoridad de quien escribe. Agradezco las observaciones y correcciones que permitan mejorar el texto, sin trasladar al lector la responsabilidad por demostrar lo que aquí se afirma.
La exposición combina dos movimientos. El primero es formal: enunciar con precisión, demostrar y registrar dependencias. El segundo es pedagógico: volver sobre una prueba, preguntar por qué una hipótesis resulta necesaria, buscar un contraejemplo cuando se elimina y traducir el resultado al lenguaje que le dio origen. La intuición orienta el trabajo; no reemplaza una demostración. Tampoco se presenta una compilación de código como certificación automática de un resultado más general que la declaración compilada.
Por qué empezar por aplicaciones y categorías
Una exposición convencional suele definir las funciones como conjuntos de pares ordenados. Aquí ensayamos otra entrada: tomamos las aplicaciones, sus identidades y su composición como datos iniciales y preguntamos qué estructuras pueden construirse con ellos. La elección es deliberada: permite advertir que el comportamiento de las flechas, las gráficas y los elementos no es idéntico en toda categoría. Más adelante recuperamos la formulación conjuntista y estudiamos las condiciones bajo las cuales ambas presentaciones coinciden.
Esto no significa haber reconstruido desde cero la teoría de conjuntos, la teoría de tipos o la lógica. Cada una aparece como marco declarado allí donde se la usa. Tampoco los capítulos categóricos exigen todos los axiomas a la vez. Una de las lecciones del libro consiste precisamente en separar el camino que utiliza sólo límites finitos y regularidad del camino más fuerte de un topos elemental; la regularidad es consecuencia conocida en el segundo, pero las pruebas del capítulo 4 usan explícitamente el primero.
Cómo está organizado el recorrido
El manuscrito contiene cinco partes: reconstrucción estructural; parcialidad y lógica; efectividad y autorreferencia; comparación y reconstrucción mediante Yoneda; y síntesis fundacional. Los dieciocho capítulos del índice aprobado el 2026-09-21 están redactados. La quinta parte reúne la matriz argumentada de hipótesis y la respuesta final mediante un ejemplo transversal. La extensión del índice sólo cambiará mediante una decisión editorial explícita. El lector encontrará el mapa aprobado y los contratos técnicos en el mapa del tratado y las convenciones.
Conviene recorrer primero los capítulos 1–5 si se desea seguir la génesis categórica; quienes conozcan esos fundamentos pueden consultar el capítulo 6 para las funciones parciales y los capítulos 9–12 para las preguntas de computabilidad e igualdad. Los capítulos 13–16 precisan comparaciones y reconstrucciones: no convierten una equivalencia estructural en equivalencia computable. Las referencias internas por identificador —por ejemplo, TF-THM-00033— permiten localizar un resultado aunque la paginación o el número visible de su sección cambien.
Una edición verificable y revisable
La fuente editorial es la bóveda Markdown de Obsidian en Google Drive; la página web se construirá como derivado de esa fuente, no al revés. Cada resultado tiene un identificador estable, un registro y un grafo de dependencias. Las pruebas escritas pasan revisión matemática manual. Cuando un resultado se formaliza en Lean 4, se registra además el enunciado exacto, si la prueba es propia o reutiliza Mathlib, sus dependencias y las evidencias de compilación e integración. Un capítulo cerrado editorialmente puede tener formalización parcial y no estar publicado: son tres hechos distintos.
La posibilidad de corregir el texto forma parte de su método, pero ninguna corrección sustantiva deberá introducirse silenciosamente en un teorema ya registrado. El objetivo final es ofrecer una investigación legible y controlable: un lugar donde las definiciones permitan avanzar y las preguntas que permanecen abiertas queden tan identificables como las respuestas.