Предпучок

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