Beringter Raum/Isomorphismus/Definition

Isomorphismus beringter Räume

Ein Morphismus beringter Räume ${}\varphi \colon (X,{\mathcal {O}}_{X})\rightarrow (Y,{\mathcal {O}}_{Y})$ heißt Isomorphismus, wenn es einen Morphismus ${}\psi \colon (Y,{\mathcal {O}}_{Y})\rightarrow (X,{\mathcal {O}}_{X})$ beringter Räume mit ${}\psi \circ \varphi =\operatorname {Id} _{X}$ und ${}\varphi \circ \psi =\operatorname {Id} _{Y}$ (als Identität von beringten Räumen) gibt.