(category theory) A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.
確定! 回上一頁