Produit Direct

L'objet dont les éléments sont des tuples avec une coordonnée provenant de chaque facteur et munis d'opérations par composante, muni de projections canoniques vers chaque facteur ; catégoriquement il s'agit du produit représentant des familles d'applications vers chaque facteur.

Le produit cartésien d'une famille de structures algébriques (modules, groupes, anneaux) muni d'opérations définies composante par composante, constitué de tous les n-uplets sans contrainte de finitude ; c'est le produit catégorique.