Si "C" es cualquier categoría e "I" es una categoría pequeña, podemos formar la categoría de funtores "C" teniendo como objetos todos los funtores de "I" a "C" y como morfismos las transformaciones naturales entre esos funtores.