graph morphism

Let CC be a category admitting finite fibred products and f:XYf : X \to Y be a morphism over some base SS. The graph morphism of ff is the morphism

Γ f:XX× SY \Gamma_f \colon X \to X \times_S Y

induced by 1 X:XX\mathbf{1}_X : X \to X and f:XYf : X \to Y.

The image of the graph morphism of ff is called the graph of ff.

Last revised on May 30, 2013 at 18:40:55. See the history of this page for a list of all contributions to it.