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

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

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

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

対角関手 (Wikipediaを参照) 対角関手の定義 圏 と に関して対角関手 は以下のようなものとなります。 圏 の対象 に対して は の対象となります。これは以下のような関手 となります。 の対象に対しては の対象 を対応させる。 の射に対しては の恒等射 を対…