なんだかパッと示せなかったのでメモ代わりに残しておこうと思う． 何を確認すれば良いのかは割と明白なのだけれど，層に慣れていない代数幾何学初心者なので混乱してしまった*1． まだよく分かっていないところが多々あるのでおかしいところを発見された方…

積(product)とかファイバー積(fibre product)を表現可能関手で書けることを最近知ったのだけれど，どうやら人類の常識っぽいので備忘録として残しておく．