Definition 100.39.6. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $f$ satisfies the uniqueness part of the valuative criterion if for every diagram (100.39.1.1) and $\gamma$ as in Definition 100.39.1 the category of dotted arrows is either empty or a setoid with exactly one isomorphism class.

There are also:

• 2 comment(s) on Section 100.39: Valuative criteria

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).