Kategorie:Theorie der direkten Summanden/Definitionen