代数と余代数 最初の一歩

Wed May 11 2005:start Sat May 14 2005:draft Mon May 16 2005:prefinal 形式的体系の初歩的知識を仮定して代数と余代数の紹介を試みる。特別な条 件を満たすソート付き形式的体系の指標（signature）を代数指標／余代数指 標と定義して、それのモデルとして代数／余代数を導入する。余代数とオブジェ クト指向との関係にも言及する。

[mind]

実は カリー化 はcomputerにとって根源的なアイディアである「コードをデー タとみなすこと」の表現である。カリー化された関数は、データとみなされている。 ――何かを伝えるための言及codeは、次の瞬間dataに変身。