Математическая энциклопедия:
На топологическом пространстве Xсо значениями в нек-рой категории (напр., категории множеств, групп, модулей, колец, ...) — контрава-риантный функтор F из категории открытых множеств пространства Xи их естественных отображений включения в категорию . В зависимости от Жпредпучок Fназ. предпучком множеств, групп, модулей, колец,... . Отвечающие включениям морфизмы наз. гомоморфизмами ограничения. Всякий П. определяет на X пучок (см. Пучков теория). Е. Г. Скляренко.
© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020