text: Фиксируем точку x из X и какой-нибудь объект S категории C. Пучком-небоскрёбом над x со слоем S называется пучок Sx, определённый следующим образом: Если U — открытое множество, содержащее x, тогда Sx(U) = S, в противном случае Sx(U) — терминальный объект категории C. Отображения ограничения, соответственно, либо тождественный морфизм объекта S, если оба открытых множества содержат x, либо тот самый единственный морфизм S в терминальный объект категории C. Некоторые математические структуры определяются как пространства с фиксированным пучком на нём.