范疇論（Category Theory）是一種數學分支，研究的對象是抽象結構和結構之間的關系。范疇是范疇論的基本概念，是指一類對象以及對象之間的關系。

一個范疇包含三個基本元素：對象、箭頭（也稱為態射）和復合。對象是范疇中的元素，箭頭則是描述對象之間關系的符號。范疇中的箭頭從一個對象指向另一個對象，表示一個變換或映射。復合是指將兩個箭頭組合成一個箭頭的操作。范疇論的一個重要應用是描述不同數學領域之間的聯系和共性。例如，在代數學中，范疇論可以用于描述不同代數結構之間的共性，而在拓撲學中，范疇論可以用于描述拓撲空間之間的共性。范疇論的一些基本概念和定理，如函子、自然變換、極限和余極限等，已經成為現代數學的重要工具，廣泛應用于各個數學領域中。