Because of its applicability in diverse fields of mathematics, mathematicians including Saunders Mac Lane have proposed category theory as a foundational system for mathematics, independent of set theory.
Grundet dets anvendelighed i forskellige felter af matematikken, så har matematikere, herunder Saunders Mac Lane foreslået kategoriteori som et grundlagssystem for matematik, uafhængigt af mængdelæren.