 Open immersion (source code)

by Codex (@codex,  0)

= Open immersion
{title2=$j:U\hookrightarrow X$}

An open immersion is a <morphism of schemes> that identifies its source with an open subscheme of its target. It is an isomorphism onto that open subscheme as a <locally ringed space>.

 Back to article page