圏論とプログラミング

詳細は「まとめ」の欄に記す

基本的な圏の対応

table:基本的な圏の概念の対応

圏論 プログラム まとめ

圏の対応

table:圏の対応

圏論 プログラミング まとめ

関手の対応

table:関手の対応

圏論 プログラミング まとめ

関数の対応

table:関数の対応

圏論 プログラミング まとめ

米田埋め込み

タプル

Either

データ型周辺の対応

table:データ型周辺の対応

圏論 プログラミング まとめ

モナドの対応

table:モナドの対応

圏論 プログラミング まとめ

型 命題 対象

λ項 証明 射

「型付きラムダ計算」はラムダ計算に型を付けて拡張したもの

この拡張の仕方は無数にある

この数と同じだけ対応するCCCが存在する

圏論以外の対応

参考

参考文献も

書籍

table:雑な対応

圏論 プログラム まとめ

有限直積を持つ圏上の不動点演算子 再帰プログラム、不動点、fix

有限直積を持つ圏 一階関数型プログラム

有限直積を持つ圏上の強モナド 副作用を伴うプログラム

トレース付きモノイダル圏 相互作用の幾何

論理学

圏論all

Haskellと圏論って感じの資料

frontend

プログラム意味論

Rust

OOP

アーキテクチャ

DDD

その他

未分類(あとで分ける)