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