Que el mundo tiene estructura matemática es la tesis fundamental del pitagoreísmo. Pasa después al platonismo y recorre la tradición presentándose por ejemplo en Galileo y su "el mundo está escrito en caracteres matemáticos". Desde la TCC [Teoría del Cierre Categorial], esta tesis se enmarca dentro del adecuacionismo, es decir, supone una sustantivación tanto de la materia (el mundo) como de la forma (las matemáticas) que se hacen coincidir. Más bien la tesis de Bueno es que hay una pluralidad de categorías en el mundo y ninguna de ellas (tampoco las matemáticas) es capaz de tomar el todo por la parte y absorber todas las demás. Las categorías son inconmensurables (aunque haya tramos de intersección entre algunas, por ejemplo entre la Termodinámica y el Álgebra, al existir ecuaciones termodinámicas). Más bien sucede, entonces, que en esa pluralidad de categorías habría que situar a las matemáticas, que se rompen a su vez en una multitud de categorías: Aritmética, Álgebra, G...