The question seems to involve a construction of a set-theoretic map, and the indexing (natural numbers?) suggests that A is assumed to have a countable underlying set. That map doesn't even yield a surjection of sets. I would like to reinterpret the question in the following way: How much structure do we need to forget in order for there to exist an isomorphism $A \to A[x]$? YBL pointed out that there is never an A-algebra isomorphism (if A is nonzero) and that there can be a ring-theoretic isomorphism is A is big enough. If has an infinite underlying set, then there exist isomorphisms on the underlying sets. It is potentially interesting to ask when we get isomorphisms on the underlying additive groups: it is sufficient for A to have a polynomial ring structure, but that is far from necessary: e.g., A could be any field of infinite dimension over its prime field. Incidentally, you can define a polynomial ring via a sequence of embeddings $f_n: a \mapsto ax^n$. This is a special case of the monoid ring construction.