morphism Synonyms

arrow map regular map