MDLUL/Monomorphismus (Kategorie)