. . "Composition of Morphisms where C is a category" . .