En matemática, una subcategoría de una categoría "C" es un subconjunto de los morfismos que es cerrado por composición y contiene todos los morfismos identidad.