MDLUL/rechtsabgeleiteter Funktor