米田の補題で再び詰まって, 乗り越えられそうなので書いておく. そのためにまず Hom 関手について述べる. を圏, を対象とすると, なので, 対象 を1つ固定して を考えることができる.また の射 に対して で定めることでこの は関手 とみなせる. この関手を Ho…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。