수학에서, 범주론(範疇論, 영어: category theory)는 수학적인 구조와 그 사이의 관계를 범주라는 추상적 개체로 다루는 이론이다. 오늘날 범주는 수학의 많은 분야에서 나타나며, 이론 컴퓨터 과학과 수리물리학에서도 쓰인다.
범주의 개념은 사무엘 에일렌베르크와 손더스 매클레인이 1942~1945년 사이에 대수적 위상수학에서 영감을 얻어 도입했다.
