Abstract
In this paper we continue the investigation of some aspects of descent theory for schemes that was begun in [Mesablishvili, Appl. Categ. Structures]. Let 𝐒𝐂𝐇 be a category of schemes. We show that quasi-compact pure morphisms of schemes are effective descent morphisms with respect to 𝐒𝐂𝐇-indexed categories given by (i) quasi-coherent modules of finite type, (ii) flat quasi-coherent modules, (iii) flat quasi-coherent modules of finite type, (iv) locally projective quasicoherent modules of finite type. Moreover, we prove that a quasi-compact morphism of schemes is pure precisely when it is a stable regular epimorphism in 𝐒𝐂𝐇. Finally, we present an alternative characterization of pure morphisms of schemes.
Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories