对任一（完全）内嵌"F" : "B" → "C"而言，"F"的值域是"C"的一个（完全）子范畴"S"，且"F"可导出一个由"B"和"S"间的范畴同构。
子范畴类型.一个"C"的子范畴"S"被称之为同构封闭的，若每一个在"C"内的同构"k" : "X" → "Y"（"Y"在"S"内）也会属于"S"。一个同构封闭完全子范畴被称之为是严格完全的。一个"C"的子范畴是宽的，若其包括所有"C"的物件。一个宽子范畴基本上不会是完全的：一个范畴唯一的完全宽子范畴即是此一范畴本身。一个塞尔