在数学中，一个范畴C的子范畴（subcategory）是一个范畴S，其对象为C内的对象，态射为C内的态射，且有相同的单位态射与态射复合。直观上来看，C的子范畴是一个从C中“移去”部分对象和态射的范畴。

一个的子范畴被称之为同构封闭的，若每一个在C内的同构（在内）也会属于。一个同构封闭完全子范畴被称之为是严格完全的。

一个的子范畴是宽的，若其包括所有的对象。一个宽子范畴基本上不会是完全的：一个范畴唯一的完全宽子范畴即是此一范畴本身。