Morphisms and Categories (Comparing and Transforming)