A morphism of sheaves of sets is an isomorphism if it induces an isomorphism of all stalks