子範疇

在數學中 ， 一個範疇C的子範疇是一個範疇S ， 其物件爲C內的物件 ， 態射爲C內的態射 ， 且有相同的單位態射與態射覆合 。 直觀上來看 ， C的子範疇是一個從C中 「 移去 」 部份物件和態射的範疇 。