在数学中，一个范畴"C"的子范畴是一个范畴"S"，其物件为"C"内的物件，态射为"C"内的态射，且有相同的单位态射与态射复合。直观上来看，"C"的子范畴是一个从"C"中「移去」部份物件和态射的范畴。
形式定义.令"C"为一范畴。"C"的子范畴"S"给定于上述条件确定"S"本身也会是个范畴。其中存在一自然函子"I" : "S" → "C"，称之为包含函子，单纯为物件和态射的恆等函数。一个范畴"C"的完全子范畴是一个"C"的子范畴"S"，会使得每对在"S"内的物件"X"和"Y"