A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \) (Q2079639)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \) |
scientific article |
Statements
A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \) (English)
0 references
30 September 2022
0 references
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}\).''
0 references
monoidal
0 references
2-category
0 references
definable
0 references
duality
0 references