Remark 15.88.19. The equivalences of Proposition 15.88.15, Theorem 15.88.17, and Proposition 15.88.18 preserve properties of modules. For example if $M$ corresponds to $\mathbf{M} = (M', M_ i, \alpha _ i, \alpha _{ij})$ then $M$ is finite, or finitely presented, or flat, or projective over $R$ if and only if $M'$ and $M_ i$ have the corresponding property over $S$ and $R_{f_ i}$. This follows from the fact that $R \to S \times \prod R_{f_ i}$ is faithfully flat and descend and ascent of these properties along faithfully flat maps, see Algebra, Lemma 10.83.2 and Theorem 10.95.5. These functors also preserve the $\otimes$-structures on either side. Thus, it defines equivalences of various categories built out of the pair $(\text{Mod}_ R, \otimes )$, such as the category of algebras.

There are also:

• 2 comment(s) on Section 15.88: Formal glueing of module categories

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