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. #m/def/cat Thus it is a particular example of a functor category.

Properties

• By the Yoneda embedding, is a full subcategory of

#state/develop | #lang/en | #SemBr