大局的プログラミング（programming in the large）：手でモジュールの計算をするときの演算記号を決めておこう。キーボードでも書けるようにアスキーベース。 演算記号 意味 + モノイド積、モジュールの集約／マージ |> 圏の結合、普通の結合 :> 閉じた吸収…

再帰的データ型の包含性の判定、わかった - 檜山正幸のキマイラ飼育記 メモ編 の「すべてのノードをくまなくチェックしたことの確認が難しい。」というハナシ。これも大丈夫だろう。とりあえず、練習問題としてサイクルがあるツリー（言葉は変だが）のノード…

[追記]category of modules って言葉は使えないわ。加群圏だもんな。 [/追記]ゴグエンの大局的プログラミング（programming in the large）の発想でモジュール計算をしていたら、GoI構成とコンパクト閉圏が出てきてビックリ。モジュールMとNが提供（provide…