Tool and Object: A History and Philosophy of Category Theory

Category theory is a general mathematical theory of structures and of structures of structures. This book describes the history of category theory whereby illuminating its symbiotic relationship to algebraic topology, homological algebra, algebraic geometry and mathematical logic and develops the connections with the epistemological significance.