先日、アフィンスキームについての3部記事を公開したところ、いろんな反応をいただきました。*1tsujimotter.hatenablog.comいただいたコメントの一つに、実は「層の射は、実は自然変換である」ということを教えてくれるものがありました。tsujimotterはこの事実を知らなかったのですが、勉強してみて面白いなと感じましたので、まとめてみたいと思います。今日がロマンティック数学ナイトプライム@圏論(略称:ロマ数プライム@圏論)というイベント開催日の前日ということで、圏論っぽい記事を書くにはちょうどよいタイミングかなと思いました。romasucategorytheory.peatix.comそれではいってみましょう。前層は関手まず、前層の定義をおさらいしたいと思います。後のことを考えて、少し圏論的な用語を使って整理してみたいと思います。なる射を入れたものです。割り当てる、といったルールを思い浮かべてください。