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

DOI10.1016/J.JPAA.2022.107210MaRDI QIDQ2079639zbMATHOpenAlexWikidataFDO

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 in associative algebras (16D90) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abelian categories, Grothendieck categories (18E10) Module categories and commutative rings (13C60)

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

.

Recommendations

Cites work

Cited in

(2)

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)