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