Son conjuntos ligeramente diferentes: el primero contiene pares que consisten en un elemento en S y un elemento en T × U, mientras que el segundo contiene pares que consisten en un elemento en S × T y...Son conjuntos ligeramente diferentes: el primero contiene pares que consisten en un elemento en S y un elemento en T × U, mientras que el segundo contiene pares que consisten en un elemento en S × T y un elemento en U. Por ejemplo, el requisito (iii) de que una categoría V X tenga un elemento de identidad elegido id x: I → X (x, x) para el objeto x simplemente se convierte en el requisito (a) de que I ≤ X (x, x) es verdadero en V.
