企画：圏論とソフトウェア実務

次のような項目：

1. 名前とラムダ束縛：対角Δ、終射!が名前によって実現される。
2. 関数とメソッドの相互トランスレーション
3. 関数、クラスメソッド、インスタンスメソッドの定式化
4. 継承、委譲、DI などが、射影、indexed category、スタンピング関手で定式化できる。
5. 状態と例外の双対性
6. コピー可能性がデカルト性と直結すること
7. 同一性、識別可能性がコピー可能性の双対
8. 状態、自己射とミュータビリティ概念