\begin{definition}[Definition:Identity Morphism of Ringed Spaces]
Let $\struct {X, \OO_X}$ be a ringed space.
The '''identity morphism (of ringed spaces)''' of $\struct {X, \OO_X}$ is the pair $\struct {\operatorname{id}_X, \operatorname{id}_{\OO_X}}$.
Category:Definitions/Ringed Spaces
\end{definition}