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

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

2020-02-12から1日間の記事一覧

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

を集合(本来は「シークエント」全体の集合)、 で自由生成された代数系(本来は分配束)全体の集合を とおきます(Wikipediaによると代数的構造を持つ集合は代数系と呼びます)。 は本来は分配束なのですが、可換冪等半環、可換半環、可換環の場合も考えていきま…