In der
algebraischen Topologie versteht man unter einem
Stack (
englisch für „Stapel“) eine (auf eine bestimmte Art) kategorifizierte
Garbe. Die Kategorifizierung besteht aus zwei Schritten: der Kategorifizierung einer
Prägarbe und der des Abstiegsaxioms, dessen Erfüllung eine Prägarbe zu einer Garbe macht.