ステートメントを述べる. ここで . また は米田埋込である. を圏, を対象, を関手とする. このとき なる全単射が存在する. 全単射写像を構成する. まず, 定める. これは 自然変換を集合 の元に送る写像である. とすれば(すなわち は自然変換) その 成分 は …
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。