of the product of all hom-sets in DD between the images of objects in CC under the functors FF and GG. So one element η∈∫c∈CD(F(c),G(c)) \eta \in \int_{c \in C} D(F(c), G(c)) is a collection of morphisms