７．７ 随伴の別定義 １）別定義 随伴の定義にはこれまでと異なる方法がある。それは次のように定義される。\(\fbox {随伴の定義２：}\) 二つの局所的に小さな圏\(\mathcal{C},\mathcal{D}\)において、関手の対\(R: \mathcal{C} \rightarrow \mathcal{D}, L:…