representable functor
representable functor · representable functors
A functor from some category to the category of sets which is naturally isomorphic to…A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.
Meaning
1 sensesA functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.
Origin
If a representable functor is naturally isomorphic to a hom functor mbox Hom(C,-) or mboxIf 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.
Wiktionary, CC BY-SA 4.0 · source
Forms
plural: representable functors| Singular | representable functor |
|---|---|
| Plural | representable functors |
regular
Synonyms
1 synonymsrepresentable presheaf