Tool and Object: A History and Philosophy of Category Theory
Springer Science & Business Media, 2007. jún. 25. - 367 oldal
Category theory is a general mathematical theory of structures and of structures of structures. It occupied a central position in contemporary mathematics as well as computer science. This book describes the history of category theory whereby illuminating its symbiotic relationship to algebraic topology, homological algebra, algebraic geometry and mathematical logic and elaboratively develops the connections with the epistemological significance.