morphism: A function that transforms one structure to another </>