En Categorías y fundamentos hay una pequeña incitación a pensar sobre esto mediante la presentación básica de algunos temas matemáticos y filosóficos relacionados.
La Teoría de las categorías está dando mucho que hablar en lógica y fundamentos, por su poder unificador y a veces simplificador.