圏論とプログラミング
詳細は「まとめ」の欄に記す
基本的な圏の対応
table:基本的な圏の概念の対応
圏論 プログラム まとめ
圏の対応
table:圏の対応
圏論 プログラミング まとめ
関手の対応
table:関手の対応
圏論 プログラミング まとめ
関数の対応
table:関数の対応
圏論 プログラミング まとめ
米田埋め込み
タプル
Either
データ型周辺の対応
table:データ型周辺の対応
圏論 プログラミング まとめ
モナドの対応
table:モナドの対応
圏論 プログラミング まとめ
型 命題 対象
λ項 証明 射
「型付きラムダ計算」はラムダ計算に型を付けて拡張したもの
この拡張の仕方は無数にある
この数と同じだけ対応するCCCが存在する
圏論以外の対応
参考
参考文献も
書籍
table:雑な対応
圏論 プログラム まとめ
有限直積を持つ圏上の不動点演算子 再帰プログラム、不動点、fix
有限直積を持つ圏 一階関数型プログラム
有限直積を持つ圏上の強モナド 副作用を伴うプログラム
トレース付きモノイダル圏 相互作用の幾何
論理学
圏論all
Haskellと圏論って感じの資料
frontend
プログラム意味論
Rust
OOP
アーキテクチャ
DDD
その他
未分類(あとで分ける)