 Moreover, if both "C" and "D" are additive categories (i.e.preadditive categories with all finite biproducts), then any pair of adjoint functors between them are automatically additive.As stated earlier, an adjunction between categories "C" and "D" gives rise to a family of universal morphisms, one for each object in "C" and one for each object in "D".