A Morphism between two spaces of the same type.