m-hiyama
https://blog.hatena.ne.jp/m-hiyama/
檜山正幸のキマイラ飼育記 (はてなBlog)
https://m-hiyama.hatenablog.com/
雑記／備忘
「随伴のニョロニョロ関係をTypeScriptで確認する」で話題にした2つのニョロニョロ関係式： εP(X) P(ηX) = idP(X) E(εX) ηE(X) = idE(X) 一番目だけをTypeScriptで書いてみました。TypeScriptプログラムで出来ることは、幾つかの個別事例を確認することだけで、等式の証明ではありません。手と紙を使えば等式の証明も出来るだろうとやってみると、二番目の等式が難しい。「難しい」と言うより、計算の道具が揃ってない、というのが実状です。集合圏Setを仮定して、具体的な写像の計算をすればニョロニョロ関係式を示せますが、形式的な計算体系のなかでやろうとす…
190
<iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20160112%2F1452561974" 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>
Hatena Blog
https://hatena.blog
2016-01-12 10:26:14
感動か効率性か
rich
https://m-hiyama.hatenablog.com/entry/20160112/1452561974
1.0
100%