第5章 普遍性 最初の方は定義を引用するだけとします。 ①終対象と始対象 定義 5.1 圏 の対象 が、 の任意の対象 に対して から への射がただ一つ存在するとき、 を の終対象と呼びます。この一意的な射を と書きます。 の反対圏 の終対象を の始対象と呼びま…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。