eine Erweiterung des Begriffes algebraisches Schema, die vor allem nützlich ist bei der Behandlung von Modulproblemen.

Zugrunde liegt die Kategorie 𝒮 algebraischer A-Schemata über einem Noetherschen Ring A, und eine Grothendieck-Topologie auf 𝒮 mit der Eigenschaft, daß alle Kofunktoren \begin{eqnarray}\hat{X}\end{eqnarray} = Hom_𝒮(−, X) Garben sind. Ein algebraisches Stack ist dann ein gefasertes Gruppoid 𝒳 = (P : 𝒞 → 𝒮), das noch eine Reihe weiterer Eigenschaften besitzen muß, deren Beschreibung hier zu weit führen würde.