層の準同型があるとストークからストークへの準同型が自然に定義できるけど、それは局所的な写像を飛ばした先の写像の局所的な様子から決まるということを言っている。 もっともらしいことをきちんと示すタイプの演習問題。問題 を 上の前層とする。 は を含…