Functor category Category of presheaves The category of presheaves is a category where an object is a Presheaf and a morphism is a natural transformation. cat Thus it is a particular example of a functor category. Properties By the Yoneda embedding, is a full subcategory of develop | en | sembr