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

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.