Direkte Summe

Eine Konstruktion, die aus einer Familie von Objekten ein neues Objekt bildet, indem man Tupel bildet und üblicherweise nur endlich viele nichtverschwindende Komponenten zulässt (im algebraischen Fall der endlichen direkten Summe), mit komponentenweisen Operationen und Injektionen aus jeder Summandenkomponente.

Eine Konstruktion, die eine Familie von Moduln oder Gruppen zu einem größeren Objekt zusammenfasst, das aus Tupeln mit nur endlich vielen von Null verschiedenen Komponenten besteht; die Operationen erfolgen komponentenweise. In Modul-Kategorien ist es das Koprodukt.