AlgebraとCoalgebra

全然違うことを勉強していたら何故かAlgebraとCoalgebraについて知りたくなり、前から積読になっている本

Universal Algebra for Computer Scientists (Monographs in Theoretical Computer Science. An EATCS Series)

をパラパラみつつ、
http://d.hatena.ne.jp/m-hiyama/20130318/1363563919
を読んだらああなるほどオブジェクト指向のクラスってのはCoalgebraなのか、とひとり納得した夕暮れです。
ついでに
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6018
を印刷してパラ見する。

抽象代数学はソフトウェア開発の技術として、日常的にもっと使えるのではないか、と考える最近です。