Definition:Identity Morphism of Ringed Spaces
Jump to navigation
Jump to search
Definition
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}}$.