morphism of schemes
ringed space morphism between schemes; locally a commutative ring homomorphism between coordinate rings
blowing up
in algebraic geometry, a transformation on an algebraic variety or scheme, wherein a closed subvariety is replaced with the space of lines passing through it (in the case of a point, a projective space), commonly used to resolve singularities
group-scheme action
action of a group scheme on a scheme
quasi-separated morphism
scheme morphism 𝑓: 𝑋→𝑌 whose diagonal map 𝑋 → 𝑋 ×_𝑌 𝑋 is quasicompact
flat morphism
scheme morphism such that the induced map on every stalk is a flat map of rings
proper morphism
in algebraic geometry, an analogue of a proper map for algebraic varieties
diagonal morphism
universal scheme morphism X → X ×_S X
quasi-compact morphism
morphism of schemes for which the inverse image of any quasi-compact open set is again quasi-compact
regular map
function between varieties that is given locally by polynomials