2012•Theory and applications of categoriesOpen access

Descent in monoidal categories

Bachuki Mesablishvili

Open full text 4 citations

Abstract

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.

Open-access reader

About this research paper

What this paper is about

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.

Why it matters

OpenAlex reports 4 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

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

Related papers

Back to paper searchBrowse research topicsOriginal source
Descent in monoidal categories — Research Paper | ScholarLens