7.6 随伴から導き出される可換図式 随伴の定義からどのような可換図式が導きだされるかを考えてみよう。随伴の定義は次のようになっている。二つの局所的に小さな圏\(\mathcal{C},\mathcal{D}\)において、関手の対\(R: \mathcal{C} \rightarrow \mathcal{…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。