Lemma 87.17.5 (0AM2)—The Stacks project

Processing math: 100%

Table of contents
Part 5: Topics in Geometry
Chapter 87: Formal Algebraic Spaces
Section 87.17: Quasi-compact formal algebraic spaces
Lemma 87.17.5 (cite)

previous definition

numberstags

history
statistics
1 tag refers to this tag

Lemma 87.17.5. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of formal algebraic spaces over $S$ which is representable by algebraic spaces. Then $f$ is quasi-compact in the sense of Definition 87.17.4 if and only if $f$ is quasi-compact in the sense of Bootstrap, Definition 80.4.1.

Proof. This is immediate from the definitions and Lemma 87.17.3. $\square$

Comments (0)

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

Comments (0)

Post a comment