"An automorphism is an isomorphism whose source and target coincide." . . . .