Ну, предпучок это короче просто функтор "наблюдений" F из категории вложенных топологических пространств ("моментов пространства-времени") в некоторую категорию (обычно множество) аттрибутов/состояний; контравариантный, потому что если U ⊆ V, то F(V) → F(U) — ограничения "наблюдения" с V до U. Пучок это такой предпучок, для которого любые наблюдения можно "склеить".
5 comments
recommend
bookmark
subscribe
а расскажи
Ну, предпучок это короче просто функтор "наблюдений" F из категории вложенных топологических пространств ("моментов пространства-времени") в некоторую категорию (обычно множество) аттрибутов/состояний; контравариантный, потому что если U ⊆ V, то F(V) → F(U) — ограничения "наблюдения" с V до U. Пучок это такой предпучок, для которого любые наблюдения можно "склеить".
общий смысл примерно как и с коалгебрами — есть некий объект, познавать который возможно через деструкторы/наблюдения
а связь с (локально тривиальными) расслоениями?
не прошло и полгода :D
сечения расслоения образуют пучок над его базой