実は代数が目的なのではなくて、余代数（coalgebra）が必要なのです。
余代数は代数に比べて新しい概念ですが、僕が知る限り、オブジェクト指向に関する現象を説明する道具として、一番単純でつじつまがあっているものです。
議論にあたいするオブジェクティブ（OO的）な仕様とは、余代数仕様と、それの発展した形（隠蔽代数仕様など）しか見あたりません。これが、僕が「代数／余代数」を持ち出す理由です。
（なんとなく、一連の話、オシマイ）
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。