代数と余代数 最初の一歩

• 代数と余代数 最初の一歩 :

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

連休の前後でなんか調子がくるってしまったので、リハビリに書いてみました。追加しただけでなく、だいぶ書き換えましたね。

最後の節に雑感が書いてあります（ここだけでも読めると思う）。