Category theory
General theory of mathematical structures
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the mid-20th century in their foundational work on algebraic topology. Category theory can be used in most areas of mathematics.
From Wikipedia, under CC BY-SA. More on occurri.