エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

論理計算と随伴関手(18)

論理計算の極限について細かいところは検証が必要ですがだいたいの説明はできました。元々は自由生成された半環の極限を考えていたのですが、これが論理計算の逆方向になるということが圏論の考え方で説明できると考えられます。圏論については詳しくないのでこの説明のために少し調べていきたいと思います。