(3) Representable functors. For each category C, there is a functor. Hom : Cop ×C→ Set. For each X ∈ C, we have two functors:.
確定! 回上一頁