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

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

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

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

普遍射の定義 (Wikipediaによる) と を圏、 を関手、 を の対象とするとき、 から への普遍射 とは、以下を満たす の対象 と のことを言います: の対象 と に対して が一意的に存在して を満たす。 可換図式で書くと以下のようになりますが斜めの線が書けな…