for C being non empty category
for f1, f2 being morphism of C st MORPHISM f1 = MORPHISM f2 holds
f1 = f2