Begriff in der Garbentheorie.

Seien S und X topologische Räume und S₁, π₁und (S₂, π₂) Garben über X. Im kartesischen Produkt S₁ × S₂ versieht man die Menge \begin{eqnarray}\begin{array}{lc}{S}_{1}\oplus {S}_{2} & := & \{({p}_{1},{p}_{2})\in {S}_{1}\times {S}_{2}:{\pi}_{1}({p}_{1})={\pi}_{2}({p}_{2})\}\\ & = & \text{}{\bigcup}_{x\in X}({S}_{1x}\times {S}_{2x})\end{array}\end{eqnarray}

mit der Relativtopologie. Dann ist die durch \begin{eqnarray}\pi ({p}_{1},\text{}{p}_{2})\text{}:=\text{}{\pi}_{1}({p}_{1})\end{eqnarray}

erklärte Abbildung π : S₁ ⊕ S₂ → X lokal topologisch, d. h., (S₁ ⊕ S₂, π) ist eine Garbe über X. Sie heißt die (direkte Whitney-)Summe von S₁ und S₂.