Hola, no entiendo bien como es esa función, porque a priori 
es un elemento de 
no una función de 
, y además 
como entrada toma un polinomio ![p \in A[x]](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/9cddaf330cfa13942ef9192af396285e.gif "p \in A[x]")
y un elemento 
, pero esas dos cosas a la vez no están en ![A[X]](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/9b0b2b8b74d7294113269a76e667fcfa.gif "A[X]")
o si?
φ(p) te da un polinomio como función, que evaluado en a te tiene que dar lo mismo que aplicarle el morfismo de evaluación en a a p. Así lo entiendo yo.
Gracias Julian, tiene todo el sentido.