Overview Category theory is a generalization of just about everything in math. It is a unified theory of math by looking at relations between different constructions/ structures in mathematics. Important links category functor equivalent categories