Description: Define the composition operation of a category. (Contributed by Mario Carneiro, 2-Jan-2017)