普遍射の定義 (Wikipediaによる) と を圏、 を関手、 を の対象とするとき、 から への普遍射 とは、以下を満たす の対象 と のことを言います: の対象 と に対して が一意的に存在して を満たす。 可換図式で書くと以下のようになりますが斜めの線が書けな…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。