Cuando es equipado con todas las aristas transitivas, estos grafos son solamente categorías especiales, donde los elementos son los objetos y cada conjunto de morfismos entre dos elementos es a lo sumo un singletón.