Category theory MOC Functor category Given two categories and , we construct a functor category where each object is a functor and each morphism is a natural transformation . Special cases Endofunctor category , which possesses additional monoidal structure. Category of presheaves tidy | en | sembr