MDLUL/additiver Funktor

Start=additiver Funktor

MDLUL/additiver Funktor

Ziel=Kovarianter Funktor/Additive Kategorie/Additiv/Definition