representable functor (Q1242)
From MaRDI portal
functor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C
Language | Label | Description | Also known as |
---|---|---|---|
English | representable functor |
functor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C |