La categoría de grafos es así equivalente a la categoría de funtores Set, donde "C" con dos objetos unidos por dos morfismos.