representable functor en · NOUN
Etymology
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.
Meanings
- A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| representable functors | Number=Plur | lexicographic |