This functor is called the representable functor, or covariant hom-functor. Thinking in Hom-set. For any object P, a pair of arrows p1: P => A and ...
確定! 回上一頁