Aliás...

Qualquer pessoa aprende em poucos minutos o que é um isomorfismo. O nome parece feio mas a idéia é simples, basta explicar de uma forma adequada ao contexto. Pouca gente vai absorver uma definição formal: "dado um morfismo f de A para B, diz-se que f é um isomorfismo se existe um morfismo g de B para A tal que g o f = I(A) e f o g = I(B)".

A notação matemática, assim como o jargão especializado e convenções de qualquer área, é ao mesmo tempo uma poderosa ferramenta de comunicação e uma ótima forma de esconder das pessoas "de fora" o significado do discurso.