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.
Значення
значень: 1A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.
Походження
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
Форми
множина: representable functors| Однина | representable functor |
|---|---|
| Множина | representable functors |
правильне
Синоніми
синонімів: 1representable presheaf