Typo gefixt.
Covarianten induzieren Algebrahomomorphismen zwischen Invarianten.
P(W)-Modulstruktur von Pol(W,V) hinzugefügt.
Notation Pol_k eingeführt.

Statt \Hom_{\cpol{k}} wird jetzt Pol_k genutzt, sofern es nicht um den Aspekt der Kategorie k-pol geht.