Hom -functor ... and then use the above arrow mapping to define a functor “C[A,−]”. ... We denote the functor from C to Set by Hom(A,−).
確定! 回上一頁