m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 最近、前層／層〈presheaf/sheaf〉の話をしました。 層に関してちょっと 層に関してちょっと 2： 層化 前層というのは、Open(X)→C という関手です。位相空間Xの開集合の圏Open(X)は、要は順序集合です。順序集合からのC値関手ということなら、いくらでも例があります。層論〈sheaf theory | 層の理論〉とは関係なさそうな例も出せます。なので、けっこうなコジツケで「…も前層の仲間だ」と言えます。そんなコジツケの事例をひとつ； フィルターも前層の仲間だ。内容： フィルター 前層と余前層 モノイド状況での前層／余前層 ラックス・モノイド余前層としてのフィルター それで？… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2019%2F05%2F15%2F153639" 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=%7B%5Cmathscr%20F%7D Hatena Blog https://hatena.blog 2019-05-15 15:36:39 rich https://m-hiyama.hatenablog.com/entry/2019/05/15/153639 1.0 100%