Na teoria das categorias, uma subcategoria de uma categoria é uma categoria : cuja coleção de objetos é subcoleção de objetos de ; tal que, para quaisquer objetos de , Quando vale igualdade acima para cada dupla , a subcategoria é dita plena. Há um functor de inclusão , sempre fiel, e que é pleno se e só se a subcategoria é plena.
Esta noção, apesar de mais fácil de entender, viola o princípio de equivalência, de modo que variantes da definição possam ter mais utilidade.
Bibliografia
Categoria:Teoria das categorias