Isomorphism as the equivalent of object equality in Category Theory