Пучок (математика): различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
м r2.7.1) (робот добавил: no:Knippe (matematikk) |
Mousy (обсуждение | вклад) м →Определение предпучка: викификация |
||
Строка 48:
=== Определение предпучка ===
Пусть X — топологическое пространство, а C — некоторая [[Теория категорий|категория]]. Над пространством ''X'' задан предпучок ''F'' со значениями в категории '''C''', если:
* Каждому открытому подмножеству ''U'' в ''X'' сопоставлен ''F(U)'' — объект категории '''C'''.
* Каждому включению <math>V\subset U</math> открытых множеств сопоставлен [[морфизм]] [[Объект категории|объектов]] категории '''C''':
| |||