¿Son las pilas una “teoría de todo” para las matemáticas?

No absolutamente no. En primer lugar, hay configuraciones matemáticas aún más grandiosas y abstractas, como la teoría de las pilas de infinito o la teoría de topos superiores de Lurie. Y no hay razón por la que no podamos abstraer las cosas aún más.

En segundo lugar, hasta ahora la teoría de las pilas solo es útil principalmente en el dominio de la geometría algebraica, y en su mayor parte se construyó teniendo en cuenta solo las aplicaciones de geometría algebraica. En cualquier caso, no puede pretender tener una “teoría de todo” si su teoría ni siquiera es relevante para otros campos matemáticos importantes e importantes como la topología geométrica o PDE o combinatoria, etc.

Otra cosa es que las matemáticas no se vuelven más abstractas de una sola manera; cualquier problema o concepto matemático puede generalizarse de muchas maneras diferentes. Puede ir variedad -> esquema -> apilar, pero también puede ir variedad -> colector Kähler -> colector riemanniano, o puede ir en otra dirección aún inexplorada (¿geometría compleja generalizada de Gualtieri? Colectores Hyperkähler?). La teoría de las pilas y el trabajo de personas como Lurie sigue la tradición de Grothendieck, y está dirigida principalmente a problemas específicos, pero este no es el único camino a seguir, y estos no son los únicos problemas en los que los matemáticos están interesados.

¿Te refieres a la teoría de la gavilla?
Bueno, no es una teoría de todo, es simplemente el marco conceptual más abstracto para hacer geometría.

La teoría de la categoría, y más específicamente la categoría cerrada cartesiana, también conocida como Toposes, es la teoría de la teoría de todo. Por todo, no me refiero a todo, sino a cualquier cosa que pueda definirse matemáticamente.

Tenga en cuenta que, en matemáticas, cuanto más propiedad tiene un objeto, más puede decir al respecto y más interesante es. Hay una declaración en formal
lógica que dice que cuanto más específica es una historia, más rica es. Entonces, a diferencia de la física, la teoría fundamental no es la teoría de todo, sino la teoría de la nada. Una teoría en la que cualquier propiedad sería cierta para cualquier objeto (no tiene objetos pero sí uno, sería infinitamente rico).