>>629
>現代の層の定義は、前層(圏論)から始まる

位相空間 X 上の 前層(presheaf) F とは、
Xの開集合系を集合の包含関係によって圏とみなした O_x から Set への反変関手
F:O^op_x→Set
である

これ見ただけですばらしいと思う奴は数学知らぬ素人

肝心なのは貼り合わせ条件でこれは多様体の定義から引き継いでるもの
多様体を知ってる人なら別に何も驚かない
ま、これがないと全然意味ないからいれてるよね、当然でしょって感じ
素人は「何でこんな条件入ってるんだァァァァ」って悶絶するんだろうけど
あほらし