中間報告(1)

現在の状況は…
無限の時間にわたって動作するプログラムを半環の極限として表すことができるのではないかということで、それに似た代数的構造を探そうとしています。
それを探す手段として、圏論の計算を数式の変形で行おうと考えていますがまだそこまでたどり着いていません。