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

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

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

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

に対応する で決まる証明図の逆方向の写像を とします。 を と定義します。これは証明図の逆方向の写像となります。 を と定義します。これは証明図の方向の写像となります。 を を満たすものとします。 として を の元 に変換する(切り詰める)ことを考えま…