m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「層に関してちょっと 2： 層化」において、セクション層関手Γとジャーム空間関手Λが、関手の随伴ペア（随伴系）を形成している、という話をしました。それに少し補足をします。この記事の主たる目的は例題の記述です。後で、この内容を例題にしてナニゴトかやりたい、という目論見があります（目論見倒れになるかも知れないが）。内容： 準備 セクション関手とジャーム関手 ラムダ記法の変種 局所元のジャームセクション セクションジャームの評価 随伴系 準備「層に関してちょっと 2： 層化」で使った用語と記号をそのまま使いますが、ごく短い復習、略記と追加事項をこの節で述べます。位相空間Xを固定します。X上の集合前層… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2019%2F08%2F01%2F141817" title="局所元のジャームセクションとセクションジャームの評価 - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%5Cmapsto Hatena Blog https://hatena.blog 2019-08-01 14:18:17 rich https://m-hiyama.hatenablog.com/entry/2019/08/01/141817 1.0 100%