Left Exact

The Artin-Mazur zeta function records only how many periodic points exist, often missing the underlying architecture of a system. New condensed methods now reveal these hidden structures.

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

La mayoría de la gente defiende medidas autoritarias solo cuando las propone su equipo favorito, confundiendo la política con una camiseta de estadio. Escucha por qué priorizar los colores sobre los derechos ciudadanos es la forma más rápida de perder nuestra libertad frente al poder.

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

En esta clase desarrollamos heurísticamente la construcción del adjunto izquierdo F de un funtor G: 𝒟 → 𝒞, bajo el supuesto de que G preserva límites pequeños, que 𝒟 es completa y localmente pequeña, y que G cumple la condición de conjunto solución, es decir, para cada X hay un conjunto de flechas X → G(D_i) por las que se factoriza cualquier flecha X → G(D). Observamos que, para cada objeto X ∈ 𝒞, el objeto F(X) debe representar el funtor Hom_𝒞(X, G(−)), lo que equivale a decir que F(X) es un objeto inicial en la categoría de elementos (X ↓ G). Bajo estas condiciones, mostramos que este objeto inicial existe y puede construirse como un límite pequeño sobre un diagrama adecuado en 𝒟. Sin la condición de conjunto solución el argumento falla, porque (X ↓ G) es una categoría grande y la completitud solo garantiza límites pequeños. La existencia de este límite garantiza la existencia del adjunto izquierdo. Finalmente, discutimos cómo este resultado puede generalizarse en condiciones de accesibilidad o bajo la existencia de ciertos límites específicos, dando paso a las formas más generales del Teorema del Funtor Adjunto.

Conmutatividad de Límites y Colímites Filtrados: Propiedades, Corolarios y Aplicaciones Categóricas

1.0 Introducción

En el corazón de la teoría de categorías yace la interacción entre dos de sus construcciones más fundamentales: los límites y los colímites. Estos operadores duales generalizan conceptos como productos, intersecciones, uniones y cocientes, proporcionando un lenguaje unificado para describir estructuras en diversas áreas de la matemática. Una pregunta de importancia estratégica es determinar bajo qué condiciones estos operadores conmutan entre sí. Los funtores que preservan estructuras finitas, conocidos como funtores exactos, son la clave para responder a esta pregunta, pues garantizan que las construcciones finitas en una categoría se mapean a construcciones análogas en otra.

La proposición central de este artículo es un resultado fundamental y de amplio alcance: la exactitud de los colímites filtrados en la categoría de conjuntos (Set). Este teorema establece que el funtor que calcula el colímite sobre una categoría indexante filtrada conmuta con todos los límites finitos. La relevancia de este resultado se magnifica por el papel de

la categoría como base para innumerables construcciones en álgebra, topología y lógica. Muchas categorías de interés, como las de grupos o anillos, heredan sus propiedades estructurales de la categoría de conjuntos mediante funtores de olvido.

En las siguientes secciones, se presentará una demostración detallada de esta proposición, desglosando la prueba en sus componentes esenciales: la preservación del objeto final, los productos binarios y los ecualizadores. Posteriormente, se explorarán corolarios clave, como la condición AB6 en la categoría de grupos abelianos, un axioma fundamental en la teoría de categorías abelianas y en campos emergentes como la matemática condensada. Finalmente, se contextualizará este tema en el marco más amplio de las subcategorías reflexivas y correflexivas, mostrando cómo la teoría de funtores adjuntos ofrece un marco sistemático para comprender diversas construcciones universales. Este recorrido nos preparará para la demostración formal que se realizará a continuación.

2.0 Proposición Central: La Exactitud de los Colímites Filtrados en la Categoría de Conjuntos

Para demostrar que un funtor es exacto izquierdo —es decir, que preserva todos los límites finitos—, basta con verificar que preserva los tres componentes fundamentales a partir de los cuales se pueden construir todos los demás límites finitos: el objeto final, los productos binarios y los ecualizadores. La estrategia de la demostración consistirá en analizar cada uno de estos casos para el funtor de colímite filtrado en la categoría de conjuntos, aprovechando la descripción explícita de sus elementos como “gérmenes” o clases de equivalencia.

Se enuncia formalmente la proposición principal de la siguiente manera:

Proposición: Para una categoría indexante pequeña y filtrada I fija, el funtor de colímite colim: Set^I -> Set es un funtor exacto izquierdo.

Esto significa que para cualquier diagrama de diagramas X indexado por una categoría finita J, existe un isomorfismo canónico entre colim(lim X) y lim(colim X).

2.1 Preservación del Objeto Final

El objeto final en la categoría de conjuntos Set es cualquier conjunto unitario, por ejemplo, {0}. Consecuentemente, el objeto final en la categoría de diagramas Set^I es el diagrama constante que asigna el conjunto {0} a cada objeto i de I y la función identidad a cada morfismo. El colímite de este diagrama constante es, de manera inmediata, el propio conjunto {0}. Dado que {0} es el objeto final en Set, se concluye que el funtor de colímite filtrado preserva el objeto final.

2.2 Preservación de Productos Finitos

Para demostrar la preservación de productos finitos, basta con considerar el caso de productos binarios. Dados dos diagramas X: I → Set e Y: I → Set, su producto en la categoría de diagramas Set^I es un nuevo diagrama X × Y definido “entrada por entrada”: para cada objeto i ∈ I, el objeto (X × Y)_i es el producto cartesiano X_i × Y_i. El objetivo es demostrar que existe un isomorfismo canónico: colim (X × Y) ≅ (colim X) × (colim Y).

Las propiedades universales del colímite y del producto garantizan la existencia de un morfismo canónico Φ: colim(X_i × Y_i) → (colim X) × (colim Y). Aunque es posible construir un morfismo inverso utilizando únicamente las propiedades universales, lo que involucra una compleja secuencia de manipulaciones diagramáticas, una demostración más directa del isomorfismo puede lograrse probando la biyectividad de Φ mediante la construcción explícita de los colímites en Set.

Un colímite filtrado en Set, colim X_i, se construye como el cociente de la unión disjunta ∐_i X_i Bajo una relación de equivalencia. Un elemento en el colímite es una clase de equivalencia [x_i] (un “germen”), donde x_i ∈ X_i. Dos elementos x_i ∈ X_i y x_j ∈ X_j son equivalentes (x_i ~ x_j) si existe un índice k en I con morfismos i → k y j → k tal que las imágenes de x_i y x_j en X_k coinciden. Bajo esta descripción, el morfismo Φ mapea la clase de un par [(x_i, y_i)] al par de clases ([x_i], [y_i]).

Inyectividad: Supongamos que Φ([(x_i, y_i)]) = Φ([(x_j, y_j)]). Esto implica que ([x_i], [y_i]) = ([x_j], [y_j]), lo cual, por definición del producto en Set, significa que [x_i] = [x_j] y [y_i] = [y_j]. La primera igualdad implica que existe un k_1 ≥ i, j tal que las imágenes de x_i y x_j coinciden en X_{k_1}. La segunda implica que existe un k_2 ≥ i, j tal que las imágenes de y_i y y_j coinciden en Y_{k_2}. Como la categoría I es filtrada, existe un k ≥ k_1, k_2. En el nivel k, las imágenes de x_i y x_j coinciden, al igual que las de y_i y y_j. Por lo tanto, las imágenes de los pares (x_i, y_i) y (x_j, y_j) coinciden en X_k × Y_k, lo que demuestra que [(x_i, y_i)] = [(x_j, y_j)]. Así, Φ es inyectiva.

Aquí escribimos k ≥ i como si I fuera un conjunto dirigido. En una categoría filtrada general puede haber varias flechas i → k, y hace falta además el tercer axioma de categoría filtrada: dos flechas paralelas i ⇉ k se coigualan en algún k′. Con eso el argumento funciona en k′, y lo mismo vale más abajo, en la prueba de los ecualizadores.

Suprayectividad: Tómese un elemento arbitrario ([x_i], [y_j]) del codominio (colim X) × (colim Y). Nótese que los índices i y j Pueden ser diferentes. Dado que I es filtrada, existe un índice k con morfismos i → k y j → k. Sean x_k la imagen de x_i en X_k y y_k la imagen de y_j en Y_k. Por construcción, [x_i] = [x_k] y [y_j] = [y_k], de modo que ([x_i], [y_j]) = ([x_k], [y_k]). Este último par es la imagen, bajo Φ, del elemento [(x_k, y_k)] del dominio, lo que demuestra que Φ es suprayectiva.

Al ser Φ una función biyectiva, es un isomorfismo en Set.

2.3 Preservación de Equilizadores

Dados dos morfismos de diagramas (transformaciones naturales) f,…

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

¿“A imagen y semejanza” nombra identidad o una invarianza entre escalas?

Un torneo de ajedrez como laboratorio de reconocimiento: la diagonal del alfil, la microbiota, el bosque y el cometa ATLAS comparten firma estructural bajo distintos lentes. No copias: invariantes.

A imagen y semejanza. Relato de una diagonal que aprende a pensar

Substack: https://open.substack.com/pub/yoyontzin/p/a-imagen-y-semejanza?r=5jm7pi&utm_campaign=post&utm_medium=web&showWelcomeOnShare=true

Medium: https://rogelioyoyontzin.medium.com/a-imagen-y-semejanza-3fd1066e415f?sk=8f4b0ef36327e57a6cc93e393ed56d01

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

Espirógrafos, órbitas y relojes: la aritmética secreta de los pétalos

J. Rogelio Pérez Buendía

Un corazón dibujado en la espuma.

Un cometa que no apareció.

Un niño que multiplica y se asombra.

¿Y si las tablas de multiplicar guardaran un jardín secreto?

¿Y si los planetas no giraran sólo por gravedad, sino por amor a la simetría?

¿Puede la matemática encerrar una flor, una danza, un recuerdo?

Este ensayo sigue el trazo de una figura que se repite sin repetirse.

Un espirógrafo de la memoria, un reloj sin horas, una ecuación escrita con nostalgia.

Léelo cuando caiga la tarde.

O cuando sientas que algo gira, lento, dentro de ti.

Espéralo en Medium y Substack.

Las respuestas —como las curvas más bellas— no siempre siguen líneas rectas.

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

“Lo que parece corrección puede ser programación. Lo que parece afinidad, captura.”

Un ensayo crítico y filosófico sobre tecnología, lenguaje y pensamiento.

Resuena contigo… ¿o te diseña?

📍Léelo en Substack:

📍También en Medium:

https://medium.com/@rogelioyoyontzin/resuena-contigo-la-m%C3%A1quina-75affb111400

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

📍¿Coincidencia… o estructura?

Un ciclista yucateco cruza el Atlántico.Otro mexicano aparece frente a él…en Finisterre, Galicia.Sin plan. Sin aviso.Solo un cruce.Un punto en el mapa.

¿Fue suerte?¿Azar puro?¿O algo más profundo?

Tal vez no estamos tan lejos unos de otros.Tal vez el mundo no es tan grande como pensamos.Y eso…no es solo poesía:es matemática.

En este episodio exploramos las redes ocultas que nos conectan,los grafos que sostienen nuestras coincidencias,y la teoría del mundo pequeño:una idea tan poderosa,que puede explicar por qué estás más cerca de Shakira o Putinque de otro ciclista de tu ciudad.

Rodadas, hubs, distancias logarítmicas y asombro.Todo eso —y más— en el texto:

"El mundo no es tan grande: una introducción matemática al asombro de un encuentro",por J. Rogelio Pérez Buendía.

📖 Léelo completo aquí:🔗 open.substack.com/pub/yoyontzin/p/el-mundo-no-es-tan-grande

Deep DAI Gemini – Presentación de Podcast

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

La taxonomía de los números: o de la paridad, la claridad y otras formas de subversión

¿Puede un número “sentirse” impar? ¿Es posible que clasificar sea una forma de violencia? ¿Qué está en juego cuando dejamos de distinguir?

En este ensayo, parto de una idea sencilla —la paridad del número cuatro— para explorar algo más profundo: la necesidad de nombrar, de clasificar, de pensar con nitidez.

Critico la ambigüedad performativa que disfraza de apertura lo que en realidad puede ser sometimiento. Y defiendo —desde la lógica, la matemática y la filosofía— el valor político de la claridad.

Una lectura para quienes creen que pensar con precisión es un acto de libertad.

📖 Disponible en:

▪️ Substack: https://open.substack.com/pub/yoyontzin/p/la-taxonomia-de-los-numeros

▪️ Medium: https://medium.com/@rogelioyoyontzin/la-taxonom%C3%ADa-de-los-n%C3%BAmeros-dece67f971cb

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe

El Teorema de la Taza Fiel y Plena

"La miniatura es uno de los albergues de la grandeza."

— Gaston Bachelard, La poética del espacio

Cada taza guarda un mundo. No por su contenido, sino por su forma: ritual, materia, memoria. Este texto no es sobre café. O no sólo. Es sobre todo aquello que, como una idea, requiere fuego, espera, cuidado.

Lema del sentido

Las matemáticas no comienzan en la mente. Comienzan en el asombro. Comienzan en el cuerpo. En esa chispa que se enciende cuando el mundo, por un momento, parece tener sentido. En ese instante en que una taza humeante, un patrón de números o una frase perfectamente dicha nos detienen y nos dicen: mira, todo encaja.

Cada mañana, ese vapor que sube es mi frontera. Podría delegarlo, claro. Podría programar una máquina que lo hiciera por mí mientras reviso correos urgentes. Pero prefiero detener el mundo. No por doctrina, sino por vértigo. Necesito el peso del grano. El ritmo de la mano. Ese silencio anterior a la palabra. El fuego no discute. La leche no opina. Hay una paz primordial en este rito sin testigos. Es mi forma de regresar.

Hoy, preparar café con las manos es una forma de resistir el presente. Tostar los granos en una esfera de vidrio sobre el fuego no es nostalgia: es voluntad de forma. Cada crujido es un lenguaje. Dejar reposar el grano no es espera, es continuidad. Moler, pesar, calentar, espumar: gestos que contienen una métrica. En ellos reconozco algo que ya conocía: la estructura de una demostración, la progresión de un teorema que se insinúa y se revela.

Y es también una forma de gozo. Porque hay un instante en que el primer sorbo y la primera idea coinciden. Un punto en el que el sabor y la intuición se tocan. No siempre sucede, pero cuando sucede, es perfecto. El café no me despierta: me hunde. Me lleva a esa zona donde pensar es flotar, donde el cálculo y el cuerpo se entrelazan. Ese estado que no se impone, sino que se alcanza. Como nadar en una idea.

No es casual que las cafeteras sean relojes invertidos: no miden lo que pasa, sino lo que permanece. En cada taza se cifra un proceso. Los matemáticos de Lviv lo sabían. En sus servilletas se fundaron teorías. El café era su teorema social. Su axioma compartido. Hoy, los Cafés Scientifique imitan ese gesto: convertir la conversación en una forma líquida de conocimiento. El café es entonces más que sustancia: es topología, es espacio común.

Preparo café turco no por nostalgia, sino por el residuo. Por esa materia que queda al fondo. Densa, amarga, casi quemada. Como el error que persiste después de la solución. Como lo que no se dijo. Como ese remanente oscuro que confirma que hubo calor, intención, y transfiguración. El residuo no se bebe: se interpreta.

Para un espresso perfecto, no basta el grano. Se necesita entender. Se necesita tiempo, ritmo, precisión. Cada variable —molienda, presión, temperatura— es un ε. Cada error, una δ. Y todo afecta el sabor. El sistema es sensible. Como una estructura lógica, como una conjetura: si el axioma falla, todo colapsa. Por eso hay quienes remineralizan el agua: no para purificarla, sino para volverla cómplice.

Preparar café a mano no es una excentricidad. Es una afirmación ontológica. Es practicar teoría de la medida con las manos. Porque no es lo mismo saber que una función es integrable, que comprender su singularidad. Hay quienes calculan. Y hay quienes entienden. Así también con el café: no basta beberlo. Hay que habitarlo.

Conozco su otra cara. El café como enemigo. Lo usé para extender días imposibles. Para fingir lucidez. Me mantuvo despierto cuando ya no era posible pensar. Existen curvas —no en el plano, sino en el cuerpo— donde la energía se torna ansiedad y la vigilia, delirio. Por eso el ritual es un cuidado. Escuchar al cuerpo. Reconocer cuándo basta. No para dormir, sino para despertar mejor.

Este es el lema del sentido: no una conclusión, sino una preparación. Un andamiaje emocional y lógico hacia el teorema que sigue.

Teorema.

Toda taza que despierta el alma contiene, al menos, calor, tueste y cuidado a presión constante.

Demostración

Una tarde se fue la luz. Suele pasar en época de lluvias. Estábamos viendo una película —creo que era Ustedes los ricos, la del Torito. Curioso, porque en matemáticas también hay toritos, pero eso lo supe después. Encendimos una vela. Se preparó más café. Cada quien pidió el suyo: con leche, sin azúcar, solo, con canela. Yo ayudé a servir. Alguien sugirió que hiciéramos un juego: adivinar cuál taza era de quién. Había pistas sutiles: una preferencia, una costumbre, un orden al repartir. Mi padre, que observaba todo en silencio, murmuró: “Esto parece un acertijo de lógica…”

No recuerdo si lo resolvimos aquella noche. Pero recuerdo perfectamente el ambiente: el vapor, la vela, el murmullo. Y esa sensación de que la vida podía organizarse como un problema lógico. Que una conversación podía ocultar una deducción. Ese fue el día en que comprendí que pensar también podía ser un placer. Que una taza de café podía contener, al mismo tiempo, calor y enigma.

Alfréd Rényi decía que un matemático es una máquina que convierte café en teoremas, y la frase suele atribuirse a Erdős. Ninguno de los dos hablaba de máquinas automáticas, ni de cápsulas, ni de algoritmos. Hablaban del fuego, del asombro, de lo improbable. Hablaban del café como llave de acceso a lo inefable. Como quien abre un cuaderno para invocar una idea, no para cazarla.

Mi tostadora suena a cráter. Tiene forma de pulmón. Ahí, en su danza circular sobre el fuego, el grano se transforma. Hay un primer "crack". Luego otro. Y no hay algoritmo. Sólo oído, experiencia, memoria térmica. Es una meditación sin mantra. Como seguir una demostración sin escribirla. Todo ocurre adentro.

El café es también objeto matemático. Su enfriamiento sigue ecuaciones. Sus proporciones son fórmulas. Su equilibrio, una solución. Pero el sabor resiste. Es la única variable que escapa a la métrica. El sabor no se calcula. El sabor se alcanza.

Hay instrumentos que se vuelven extensión del cuerpo: la aguja, el embudo, la balanza. Utensilios que rozan lo quirúrgico. Pero más que técnica, hay ceremonia. La leche sube. El fuego cede. Y la taza, como una integral bien resuelta, contiene todo lo anterior.

Q.E.D.

Corolarios: Anatomía de la Taza

Corolario I. La liturgia de las manos

Quizás te preguntes por los gestos concretos que dan cuerpo a este teorema. Comienzan con el crujido rítmico de un molino manual, donde mis manos sienten la resistencia de cada grano al partirse. Siguen con el pulso firme sobre la palanca de una máquina de espresso que no tiene botones, solo mi fuerza y mi intuición para mantener una presión constante. Tuesto los granos yo mismo, en una esfera de vidrio sobre el fuego, guiado no por un temporizador, sino por el sonido de dos "cracks" y el color canela oscuro que me dicta el momento exacto. No hay automatismos en este rito; es un diálogo tenso y presente entre mi cuerpo y la materia.

Corolario II. La física secreta del sabor

Esta liturgia no es mística, es física pura traducida a un lenguaje de atención. La ciencia dicta las coordenadas del mapa del sabor: una presión constante de 9 bares que no es una fuerza, sino una persuasión para que el grano entregue su alma; una ventana de temperatura entre 90 y 96 grados, donde el agua no quema la acidez ni es demasiado tímida para extraer los aceites. Cada curva de extracción que se dibuja en la taza es una función con variables que puedo controlar —molienda, compactación, tiempo—, pero cuyo resultado final, el sabor, siempre contiene un elemento de misterio. Es la prueba de que se puede medir el universo entero y aun así no predecir la belleza.

Corolario III. La Kata del Pensamiento

Podría parecer que un acertijo lógico contradice la intuición que recorre la demostración anterior. Pero no es así. Un músico no improvisa desde el vacío, sino desde la escala que ha practicado mil veces. Un artista marcial no reacciona por instinto salvaje, sino por la memoria muscular de una kata repetida has…

This is a public episode. If you'd like to discuss this with other subscribers or get access to bonus episodes, visit yoyontzin.substack.com/subscribe