Oración 1: entonces PrpCq se puede ver como la categoŕıa de los grafos orientados
Oración 2: si F P PrpCq podemos ver a F pLq como un conjunto de lados, a F pV q como uno de vértices y a F psq, F ptq : F pLq Ñ F pV q como funciones que asocian a cada lado sus vértices inicial y final, respectivamente
Conector: en efecto,
Relación: entailment
Género: books