Mientras que Dieudonné construye los fundamentos del análisis desde cero con un rigor axiomático tradicional, Spivak utiliza la teoría de categorías para ofrecer un marco unificado y abstracto para la formalización de estructuras matemáticas y computacionales, ofreciendo una perspectiva radicalmente diferente sobre la construcción de conocimiento matemático.








