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
0 references