Start=Funktor

MDLUL/Funktor

Ziel=Kategorien/Kovarianter Funktor/Definition