A monoidal analogue of the 2-category anti-equivalence between ABEX and DEF

DOI10.1016/J.JPAA.2022.107210MaRDI QIDQ2079639zbMATH OpenOpenAlexWikidataFDO

Publication date 30 September 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.12029

Model-theoretic algebra (03C60) Module categories and commutative rings (13C60) Module categories in associative algebras (16D90) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abelian categories, Grothendieck categories (18E10)

Abstract: We prove that the 2-category of skeletally small abelian categories with exact monoidal structures is anti-equivalent to the 2-category of fp-hom-closed definable additive categories satisfying an exactness criterion. For a fixed finitely accessible category

m a t h c a l C

with products and a monoidal structure satisfying the appropriate assumptions, we provide bijections between the fp-hom-closed definable subcategories of

m a t h c a l C

, the Serre tensor-ideals of

m a t h c a l C^{m a t h r m f p} h b o x - m a t h r m m o d

and the closed subsets of a Ziegler-type topology. For a skeletally small preadditive category

m a t h c a l A

with an additive, symmetric, rigid monoidal structure we show that elementary duality induces a bijection between the fp-hom-closed definable subcategories of

m a t h r m M o d h b o x - m a t h c a l A

and the definable tensor-ideals of

m a t h c a l A h b o x - m a t h r m M o d

.

Review text

The syntax-semantics duality for additive regular logic was proved by in [\textit{M. Prest} and \textit{R. Rajani}, J. Pure Appl. Algebra 214, No. 8, 1370--1383 (2010; Zbl 1203.18011)], which states that the 2-category of skeletally small abelian categories is anti-equivalent to the 2-category additive definable categories. An enriched generalization of this duality was proven in [\textit{S. Lack} and \textit{G. Tendas}, J. Pure Appl. Algebra 224, No. 6, Article ID 106268, 29 p. (2020; Zbl 1470.18009)], whereas this paper proves its tensor-analogue. Under this new duality, a skeletally small abelian category equipped with an exact monoidal structure corresponds to an fp-hom-closed definable additive category satisfying an exactness criterion. Here fp-hom-closed means closed under the internal hom with finitely presented domain. The 2-functors in both directions use Day convolution to transfer the monoidal structure. Definable subcategories of a finitely accessible additive category \(\mathcal C\) with products are in one-one correspondence with closed subsets of its Ziegler spectrum. In a similar spirit, when \(\mathcal C\) carries a suitable monoidal structure then the author provides ``a bijection between the fp-hom-closed definable subcategories of \(\mathcal C\), the Serre tensor-ideals of the functor category \(\mathcal C^{\mathrm{fp}}\text{-}\mathrm{mod}\) and the closed subsets of a Ziegler-type topology. ``For a skeletally small preadditive category \(\mathcal A\) with an additive, symmetric, rigid monoidal structure the author shows that elementary duality induces a bijection between the fp-hom-closed definable subcategories of \(\mathrm{Mod}\text{-}\mathcal A\) and the definable tensor-ideals of \(\mathcal A\text{-}\mathrm{Mod}\).

Recommendations

Cites work

Cited in

(3)

This page was built for publication: A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2079639)