Isomorphism of schemes (source code)

= Isomorphism of schemes

An isomorphism of schemes is a <morphism of schemes> admitting a two-sided inverse morphism. It is simultaneously a homeomorphism of the underlying spaces and an isomorphism of their structure sheaves.