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

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

2021-06-10から1日間の記事一覧

代数的構造による圏論(6)

第5章 普遍性 最初の方は定義を引用するだけとします。 ①終対象と始対象 定義 5.1 圏 の対象 が、 の任意の対象 に対して から への射がただ一つ存在するとき、 を の終対象と呼びます。この一意的な射を と書きます。 の反対圏 の終対象を の始対象と呼びま…