Skalarerweiterung für Polynomringe hinzugefügt.
Funktorialität der Skalarerweiterung einen eigenen Abschnitt gegeben.
Skalarerweiterung- und einschränkung sind adjungiert zueinander.