>>509
レスポンスありがとうございます。

圏論の有効性、米田のレンマについてもほぼ今の私の理解と同じでした。
よかった？ｗ

Pirceの書く計算機への応用はそんなにたいしたものではないようですね？

その他、ガロア接続と自由ー忘却随伴との関係，随伴の重要性などに
ついても、そのうちあなたのご理解を聞かせてください。