La categoría original "C" está contenida en dicha categoría de funtores, pero en esta aparecerán objetos nuevos que en cierto modo estaban "escondidos" en "C".