子范畴

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