Start=isomorph (Garbe)

MDLUL/isomorph (Garbe)

Ziel=Prägarbe/Isomorphismus/Definition