In CWM of Mac Lane I encounter:
the construction of a polynomial ring
$K\left[x\right]$ in an indeterminate $x$ over a commutative ring
$K$ is a universal construction.
Unfortunately this as an exercise (on pg 59) and I don't manage to
solve it. Can someone help me with this?