Set es la categoría que mejor entendemos, y un funtor de "C" a Set puede verse como una "representación" de "C" en términos de estructuras conocidas.