Descent in \(*\)-autonomous categories (Q952244)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Descent in \(*\)-autonomous categories
scientific article

    Statements

    Descent in \(*\)-autonomous categories (English)
    0 references
    11 November 2008
    0 references
    General descent theory, as originally developed by \textit{A. Grothendieck} [Sem. Bourbaki 12 (1959/60), No. 190, 29 p. (1960; Zbl 0229.14007)] in the abstract setting of fibered categories, is an invaluable tool in algebraic geometry, which one can also apply to various situations in Galois theory, topology and topos theory. A general aim of descent theory is to give characterizations of the so-called (effective) descent morphisms, which in the case of a fibered category satisfying the Beck-Chevalley condition reduces to monadicity of a suitable functor. In this paper the author extends the result of Joyal and Tierney asserting that a morphism of commutative algebras in the \(*\)-autonomous category of sup-lattices is an effective descent morphism for modules if and only if it is pure, to an arbitrary \(*\)-autonomous category \(\mathcal{V}\) (in which the tensor unit is projective) by showing that any \(\mathcal{V}\)-functor out of \(\mathcal{V}\) is precomonadic if and only if it is comonadic.
    0 references
    autonomous category
    0 references
    symmetric monoidal categories
    0 references
    categories
    0 references
    Grothendieck's descent theory
    0 references
    comonadicity
    0 references
    A-modules
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references