representable functor

From Wiktionary, the free dictionary
Archived revision by AugPi (talk | contribs) as of 16:24, 27 November 2019.
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

[edit]

Etymology

[edit]

If a representable functor is naturally isomorphic to a hom functor or , then the object C is said to represent that representable functor.

Noun

[edit]

representable functor (plural representable functors)

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

Synonyms

[edit]