be cone for the functor \mathcal{I}\rightarrow \text{Set} given by i\mapsto \text{Hom}_{\mathcal{C}} i.e., we have following commutative ...
確定! 回上一頁