diagonal embedding

1. REDIRECT Diagonal morphism (algebraic geometry)

{{Redirect category shell|

{{R from move}}

}}