Definition 100.10.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks.

1. We say $f$ is integral if $f$ is representable and integral in the sense of Properties of Stacks, Section 99.3.

2. We say $f$ is finite if $f$ is representable and finite in the sense of Properties of Stacks, Section 99.3.

Comment #2679 by Weizhe Zheng on

In (2) the definition should be "representable and finite".

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).