圏論と論理、絵図のメモ編過去記事リンク

順不同。

1. 選言ボックスと二面ノード - (新) 檜山正幸のキマイラ飼育記 メモ編 選言ボックスと二面ノード
2. デカルト閉復圏とラムダ計算 - (新) 檜山正幸のキマイラ飼育記 メモ編 ラムダ図
3. これはいいぞ！ ラムダハウス - (新) 檜山正幸のキマイラ飼育記 メモ編 ラムダハウス
4. メタストリング図 - (新) 檜山正幸のキマイラ飼育記 メモ編 メタストリング図
5. 連言ボックス、選言ボックス、全称ボックス、存在ボックス - (新) 檜山正幸のキマイラ飼育記 メモ編 各種ボックス
6. ワイヤリング図関連の同義語 - (新) 檜山正幸のキマイラ飼育記 メモ編 同義語
7. ケリー／マックレーン・グラフ - (新) 檜山正幸のキマイラ飼育記 メモ編 ケリー／マックレーン・グラフ
8. デカルト閉復圏とラムダ計算 - (新) 檜山正幸のキマイラ飼育記 メモ編 デカルト複閉圏
9. 純ワイヤリング図からケリー／マックレーン・グラフ - (新) 檜山正幸のキマイラ飼育記 メモ編 ケリー／マックレーン・グラフ
10. Leanの論理再考 - (新) 檜山正幸のキマイラ飼育記 メモ編 Leanの論理の絵
11. 含意と全称 空間と論理 - (新) 檜山正幸のキマイラ飼育記 メモ編 空間、論域の考察