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 𝖯𝖲𝗁(𝖢) #state/tidy | #lang/en | #SemBr