m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 ハブ記事 圏の記法はある程度整備されてますが、圏の圏や関手圏のなかの計算だと、これといった決まりごとはありません。決めておかないと不便なので、おおよその約束ごとをこの記事に書いておきます。関手圏、とくに前層の圏での計算を目的にします。内容： 前層の圏 プロファイリングとin記法 ラムダ記法 等式とon記法 自然変換に関する等式 続きの記事： 前層の圏における記法と計算 もう少し 前層の圏射、関手、自然変換に関する演算記号は、「関手と自然変換の計算に出てくる演算子記号とか // 今後使う予定の演算子記号」に従います。念のために再掲すると： 演算 反図式順演算子記号 図式順演算子記号 射の結合 ; 関手の適… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180905%2F1536140128" 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=%5Ccirc Hatena Blog https://hatena.blog 2018-09-05 18:35:28 rich https://m-hiyama.hatenablog.com/entry/20180905/1536140128 1.0 100%