The (covariant) Hom-functor hA sends X to the set of morphisms Hom(A, X) and sends a morphism f from X to Y to the morphism "f ◦ −" (i.e. composition with ...
確定! 回上一頁