Hay un funtor de "C" a "C" que se olvida del 1.