m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 ラムダ計算 論理 豊饒圏をちゃんと定義したい - 檜山正幸のキマイラ飼育記豊饒圏の定義とか、割と詳しく書いている。 関数で関手が表現できるって変でしょ、どういう仕掛けかな？ - 檜山正幸のキマイラ飼育記総称関数が関手の表現に使える事情。 圏論的指数の定義 - 檜山正幸のキマイラ飼育記指数の詳しい解説。 圏論的指数の周辺：ラムダ計算、デカルト閉圏、ノイマン型コンピュータ - 檜山正幸のキマイラ飼育記ベータ変換、イータ変換。現実のコンピュータとの対比。 圏論勉強会 復習：デカルト圏のなかのミニチュア・デカルト圏 - 檜山正幸のキマイラ飼育記なにげに凄い定理が書いてある。 閉圏、弱いラムダ計算、弱い論理 - 檜山正幸… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160114%2F1452743037" title="過去の豊饒圏と内部ホム関係記事 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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-14 12:43:57 rich https://m-hiyama-memo.hatenablog.jp/entry/20160114/1452743037 1.0 100%