pojęcie w teorii kategorii będące uogólnieniem sumy rozłącznej zbiorów i zewnętrznej sumy prostej przestrzeni liniowych