No, specifying both is most certainly not redundant. I'll borrow the notation of $\S4.4.1$ here to explain why.
Polarization is easiest to understand in the Lorentz gauge $\partial_\nu A^\nu=0$, for which the sourceless Maxwell's equations are $\square A_\mu=0$. This looks very similar to the massless Klein-Gordon equation, but with a spacetime index, so the most general classical solution may be written as$$A_\mu=\int\frac{d^3\mathbf{k}}{(2\pi)^32\omega_\mathbf{k}}\left(a_\mu(k)e^{-ik^\nu x_\nu}+a^\ast_\mu(k)e^{ik^\nu x_\nu}\right).$$That $A_\mu$ is real imposes $a_\mu^\ast=a_\mu$ (quantization promotes $a_\mu$ to an operator, replacing $^\ast$ with $^\dagger$), i.e.$$A_\mu=\int d^3\tilde{k}\:2a_\mu(k)\cos(kx).$$This is a linear combination over one polarization $a_\mu$ per four-frequency, of phase $k^\nu x_\nu$. However, the polarization vector isn't as arbitrary it seems. Our gauge choice is the constraint $k^\mu a_\mu=0$, and its invariance under $a_\mu\mapsto a_\mu-ik_\mu\lambda$ removes another degree of freedom (since $k^\mu k_\mu=0$ is the photon's squared rest mass), so there are two left for polarization. (If the photon had mass, the last argument would fail, so there would be three polarization DOFs.) See Eqs. (4.107)-(4.115) for further details on one way to make these two DOFs more explicit in our formalism.
So far, I've only discussed fields. Classically, this has implications for waves; but the quantum insight is that this applies also to individual photons, each having a four-frequency that appears in $a_\mu(k)\cos(kx)$. Note in particular only phase varies over spacetime when the photon propagates, but its polarization depends only on the four-frequency, which doesn't change so easily. (It can, but then we get into the debate over whether we're dealing with "the same" photons or new ones.)