representable functor
词源说明
If a representable functor is naturally isomorphic to a hom functor Hom(C,−) or Hom(−,C), then the object C is said to represent that representable functor.
释义
名词noun
- 1(category theory) A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.