for A being Category
for a being Object of A holds Result ((idsym a),(MSAlg A)) = Hom (a,a)