Представимый функтор
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 · Русский
В теории категорий, представимый функтор — функтор специального типа из произвольной категории в категорию множеств. В некотором смысле, такие функторы задают представление категории в терминах множеств и функций.
Abstract from DBpedia / Wikipedia · CC BY-SA