Direktes Produkt
Definition
Das Objekt, dessen Elemente Tupel mit einer Koordinate aus jedem Faktor sind und das komponentenweise Operationen besitzt, zusammen mit Projektionsabbildungen auf jeden Faktor; kategorisch ist es das Produkt, das Familien von Abbildungen in jeden Faktor repräsentiert.