Mapping stacks and categorical notions of properness

Daniel Halpern-Leistner, Anatoly Preygel

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an a…