funtor representável
Sign in to savefunctor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C
Article · Português
Em teoria das categorias, dada categoria , uma representação para um functor é um objeto junto a um isomorfismo natural em que denota o functor hom. Um functor representável é um functor admitindo representação.
Abstract from DBpedia / Wikipedia · CC BY-SA