Beringter Raum/Isomorphismus/Definition

Isomorphismus beringter Räume

Ein Morphismus beringter Räume $\phi :(X,{𝒪}_X)\to (Y,{𝒪}_Y)$ heißt Isomorphismus, wenn es einen Morphismus $\psi :(Y,{𝒪}_Y)\to (X,{𝒪}_X)$ beringter Räume mit  $\psi \circ \phi ={\mathrm{Id}}_X$  und  $\phi \circ \psi ={\mathrm{Id}}_Y$  (als Identität von beringten Räumen) gibt.