How did category theory become an alternative area of research in mathematical foundations?

Category theory emerged as a foundational framework by shifting the focus of mathematical study from the internal properties of individual elements to the interrelations between them, represented by morphisms (or arrows). Initially developed by Samuel Eilenberg and Saunders Mac Lane to formalize structures in algebra and topology, the theory provided a uniform, elegant language for connecting disparate mathematical domains through functors.123

Its transition into an alternative area of research for the foundations of mathematics was largely driven by the work of F.W. Lawvere, who built upon the insights of Alexandre Grothendieck. Lawvere proposed using category theory to axiomatize the properties of sets, leading to the development of Topos theory. A topos generalizes the category of sets, providing a structure where logical operations can be interpreted, which links category theory closely to intuitionistic type theories. This categorical approach offers a powerful alternative to traditional set-theoretic foundations by emphasizing structural relationships over element-wise definitions.34152