functor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C
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
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).