>>200 つづき
「代数曲線に触れる補足 松本 眞 広島大 2009」さわり抜粋

P12
定義4.9. Dを集合のカテゴリーの部分カテゴリーとする。前層F : C(X)op !
D が層であるとは、次の二条件を満たすことである。
U = [i2IUi
を、X の開集合U とその開被覆とする。
2 F(U) の元R; ￣ は、RjUi = ￣jUi が全てのi で成立するならばR = ￣.

2 各i についてRi 2 F(Ui) をとり、全てのペアi; j 2 I に対して
RijUi\Uj = Rj jUi\Uj
となったとする。このとき、R 2 F(U) が存在してRjUi = Ri となる
（任意のi で）。
層の条件とは、「局所的に一致していたら、大域的に一致」「局所的に
存在しているものが、共通部分で一致していたら貼りあって大域的に存
在するものになる」という気持ちを公理化したものである。

X 上の実数関数の前層、実連続関数の前層などは層である。

コメント：文字化けがひどいので、引用ではさっぱり分からんやろ。原文見て。”気持ちを公理化したものである”か。松本節炸裂！（＾＾；

つづく