過去の豊饒圏と内部ホム関係記事
- 豊饒圏をちゃんと定義したい - 檜山正幸のキマイラ飼育記
豊饒圏の定義とか、割と詳しく書いている。 - 関数で関手が表現できるって変でしょ、どういう仕掛けかな? - 檜山正幸のキマイラ飼育記
総称関数が関手の表現に使える事情。 - 圏論的指数の定義 - 檜山正幸のキマイラ飼育記
指数の詳しい解説。 - 圏論的指数の周辺:ラムダ計算、デカルト閉圏、ノイマン型コンピュータ - 檜山正幸のキマイラ飼育記
ベータ変換、イータ変換。現実のコンピュータとの対比。 - 圏論勉強会 復習:デカルト圏のなかのミニチュア・デカルト圏 - 檜山正幸のキマイラ飼育記
なにげに凄い定理が書いてある。 - 閉圏、弱いラムダ計算、弱い論理 - 檜山正幸のキマイラ飼育記
非デカルトな閉圏でのラムダ計算の試み。 - 弱いラムダ計算の根拠とか - 檜山正幸のキマイラ飼育記
続・非デカルトな閉圏でのラムダ計算の試み。 - モノイド圏、豊饒圏、閉圏と内部ホム - 檜山正幸のキマイラ飼育記
初期の頃のまとめ。まーまーまとまっている。 - 豊饒プロ関手は豊饒な世界を提供するのか - 檜山正幸のキマイラ飼育記
big pictureの欠片か? - 0引数関数と定数は同じなのか? :圏的ラムダ計算の立場から考える - 檜山正幸のキマイラ飼育記
自己豊穣化で再考するといいかも。