# $B\otimes_A A[x]=B[x]$

Let $A\rightarrow B$ be a homomorphism of commutative rings. Then $B\otimes_A A[x]\cong B[x]$ as $B$-algebras. How can one demonstrate this nicely, i.e. using universal properties alone and the Yoneda lemma?

What I did so far for this holy purpose: by the canonical definition of $B[x]$ we have $hom_{B-Alg}(B[x],-)=hom_{Set}(\left\lbrace x\right\rbrace, U-)=id_{Set}$ all = are functorial isomorphisms.

-

The point is that ${-} \otimes_A B$ is the left adjoint of the forgetful functor from commutative $B$-algebras to commutative $A$-algebras. Thus, $$\mathbf{CAlg}_B (A [x] \otimes_A B, C) \cong \mathbf{CAlg}_A (A [x], C) \cong U(C) \cong \mathbf{CAlg}_B (B [x], C)$$ and therefore $A [x] \otimes_A B \cong B [x]$.