Deje $A,B$ dos campos. Deje $\phi:A\rightarrow B$ $\psi:B\rightarrow A$ dos morfismos de campos. Puedo concluir que $A$ $B$ son isomorfos campos?
Supongo que sí, porque todos los morfismos de campos es inyectiva, por lo tanto, en este caso, $B$ contiene una isomorfo copia de $A$, lo que a su vez contiene una copia de $B$. Si esto es correcto, ¿cómo puedo formalizar?