Axiom. Composition [composition]For each composable pair of morphisms in has exactly one morphism called their composition.