MDLUL/additiv (kovariant)

Start=additiv (kovariant)

MDLUL/additiv (kovariant)

Ziel=Kovarianter Funktor/Additive Kategorie/Additiv/Definition