Composition is a way to make a new arrow out of two arrows. If two arrows form an elbow shape, then they have a composition arrow from the start of the first to the end of the second. Composition obeys some axioms, or equations.