Category Theory for the Sciences
David Spivak·2014·no ficcion
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.








