Na teoria das categorias, uma subcategoria de uma categoria C é uma categoria D: cuja coleção de objetos é subcoleção de objetos de C; tal que, para quaisquer objetos d, d' de D, Quando vale igualdade acima para cada dupla d, d', a subcategoria é dita plena. Wikipedia