for A being discrete Category
for a being Object of A holds Hom (a,a) = {(id a)}