A homomorphism of schemes is a closed immersion if it is tracked by a homeomorphism of the underlying topological space onto a closed subspace of , and the comorphism is an epimorphism of sheaves on .
More generally, let us consider some category of spaces, i.e. sheaves of sets on equipped with a subcanonical Grothendieck topology. Then a morphism of spaces is said to be closed immersion if it is representable by a strict monomorphism.
Discussion in the context of higher geometry/higher algebra is in
Last revised on November 11, 2023 at 10:44:14. See the history of this page for a list of all contributions to it.