Descent in monoidal categories
Bachuki Mesablishvili
Abstract
Open-access reader
Bachuki Mesablishvili
Abstract
Open-access reader
We consider a symmetric monoidal closed category V = (V , ⊗, I, [-, -]) together with a regular injective object Q such that the functor [-, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism.Examples of this kind of monoidal categories are elementary toposes considered as cartesian closed monoidal categories, the module categories over a commutative ring object in a Grothendieck topos and Barr's star-autonomous categories.
OpenAlex reports 4 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We consider a symmetric monoidal closed category V = (V , ⊗, I, [-, -]) together with a regular injective object Q such that the functor [-, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism.Examples of this kind of monoidal categories are elementary toposes considered as cartesian closed monoidal categories, the module categories over a commutative ring object in a Grothendieck topos and Barr's star-autonomous categories.
Key concepts: Cartesian closed category, Closed monoidal category, Symmetric monoidal category, Enriched category, Mathematics, Topos theory, Morphism, Functor