Entonces phi es un homomorfismo (“morfismo”) que convierte enteros (el dominio es ZZ) en racionales (el codominio es QQ), cuyo padre es un conjunto de homomorfismos que Sage llama “homset”. A pesar de...Entonces phi es un homomorfismo (“morfismo”) que convierte enteros (el dominio es ZZ) en racionales (el codominio es QQ), cuyo padre es un conjunto de homomorfismos que Sage llama “homset”. A pesar de que a y b ambos imprimen como 3, lo cual es indistinguible a nuestros ojos, los padres de a y b son diferentes.