半環上のフラクタル代数(1)

「環上の代数」、「環上の加群」に対応する半環のときの用語がないので、これらを「半環上のフラクタル代数」、「半環上のフラクタル加群」と呼ぶことにします。

「半環上のフラクタル代数」の「微分」を考えてそれに対する「極限」を考えます。

論理計算の随伴関手によって「半環上のフラクタル代数」を考えて、この「極限」として論理プログラミングで参照透過性を持つ無限に繰り返される入出力を表すことを考えます。