Où formule 11 est l'inclusion naturelle sur le facteur naturel et formule 12 est la première projection sur le second facteur.
Où Formule 11 est l'intégration naturelle sur le facteur naturel et Formule 12 est la première projection sur le second facteur.