Diagonal functor
More generally , given a small index category formula_7 , one may construct the functor category formula_8 , the objects of which are called diagrams . 
<triplet> functor category <subj> small <obj> subclass of