У меня вопрос
Если мы возьмем пучки множеств, то почти всегда из определений имеем что сечение над открытым множеством - pt
кроме случая, когда множество сечений над чем угодно - пустое
этот пучок таки чем-то плох (а я не вижу чем), или таки ничего страшного в том что сечения над пустым таки не pt?

(Reply to this) (Thread)

>сечение над открытым множеством - pt

Имеется ввиду сечения над пустым множеством?

То, что есть ровно одно сечения над пустым множеством
у любого пучка вытекает сразу из аксиом пучка.

Для предпучков это, конечно, неверно, там сечения могут быть любые.

(Reply to this) (Parent)