representable functor

名词 n.
中文释义

英文释义

名词 n.
  1. A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.

词形变化

representable functors plural

词源

If a representable functor is naturally isomorphic to a hom functor mbox Hom(C,-) or mbox Hom(-,C), then the object C is said to represent that representable functor.
0 次浏览 数据来源: Wiktionary