ハーツホーンに を の前層とし、 を 上の点とする。 の における茎 を を含むすべての開集合 に対する 群 と制限写像 がなす順系に関する順極限と定義する。 とある。 よくわからないので、考えた（調べた）。 順極限とは余極限のことらしい。 前層は である…