>>896
んー、ずれてますか＾＾；
えと、計算機科学の分野で代数の知識が生かせないか、というのが
モチベーションです。
(ラムダ計算は単項演算子と定数なので)

単項演算子の代数の世界であったら
例えば次のような性質を色々とぐりぐりやってるようなイメージです
∃x.A x = x
∀x.A x = A
∃A B.A B = B A
∀A B∃x y.A x = y && B y = x
∀A B C.A (B C) = (A B) C
これを一般化したようなのがおそらく普遍代数とかそのあたりなのですよね？
群・環・体等の2項演算を含むものが多くて、そうでない代数は
あまり見つからないのですが
そんなに研究されてないのでしょうかね