代数と余代数、クラスと余クラス - 檜山正幸のキマイラ飼育記 (はてなBlog)「代数」という言葉は様々な意味で用いられます。ここでは、余代数とペアにして語られるアレのことです。と言っても何だかよく分からんでしょうから以下で説明します。代数・余代数の定義には圏論を使うのが普通ですが、ここでは圏論なしでいきます。クラス・余クラスは、代数・余代数を裏返しただけで事実上同じものです。 内容： 演算と代数 代数の指標とモデル 余演算と余代数 余代数の隠蔽指標 クラスと余クラス 演算と代数 Aをなんらかの集合だとして、f:A×A→A という関数（写像）をA上の二項演算と呼びます。A = Integer（整数の集合）のとき、足し算や掛け算は二項演算となります。add:Integer×Integer→Integer、mult:Integer×Integer→Integer とかですね。 二項だけでなく、三項や一項の演算もあります。三項演算というと、プログラマの人は、(- ? - :
