수학의 한 분야인 범주론에서 극한(limit)은 수학의 여러 분야에서 사용되는 보편적 구조물들(예로서 곱이나 역극한 등)이 갖는 공통된 성질을 보존하며 일반화시킨 추상적인 개념이다. 그 쌍대 개념인 차극한(colimit)은 서로소 합집합이나 직합 등의 일반화이다. 극한과 차극한은 보편 사상 및 수반 펑터 등의 범주론적 개념과 밀접한 연관이 있다.