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

DOI10.1016/J.JPAA.2022.107210zbMATH Open1503.18005arXiv2010.12029OpenAlexW3093697548WikidataQ114155336 ScholiaQ114155336MaRDI QIDQ2079639FDOQ2079639

Rose Wagstaffe

Publication date: 30 September 2022

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

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 $mathcalC$ with products and a monoidal structure satisfying the appropriate assumptions, we provide bijections between the fp-hom-closed definable subcategories of $mathcalC$, the Serre tensor-ideals of $mathcal{C}^{mathrmfp}hbox-mathrmmod$ and the closed subsets of a Ziegler-type topology. For a skeletally small preadditive category $mathcalA$ with an additive, symmetric, rigid monoidal structure we show that elementary duality induces a bijection between the fp-hom-closed definable subcategories of $mathrmModhbox-mathcalA$ and the definable tensor-ideals of $mathcalAhbox-mathrmMod$.

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

zbMATH Keywords

duality2-categorydefinablemonoidal

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Tensor Categories
• Title not available (Why is that?)
• Definable additive categories: purity and model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• On closed categories of functors
• Hopf Algebras
• Hopf algebras and their generalizations from a category theoretical point of view
• Note on monoidal localisation
• Structure sheaves of definable additive categories
• Multisorted modules and their model theory

Cited In (1)

• Definable categories and monoidal categories

   Recommendations

• Definable categories 👍 👎
• Enriched regular theories 👍 👎
• Abelian categories and definable additive categories 👍 👎
• Structure sheaves of definable additive categories 👍 👎
• Duality for semilattice representations 👍 👎
• Constructing Fully Complete Models of Multiplicative Linear Logic 👍 👎
• Exactly definable categories 👍 👎
• Embeddings of Exactly Definable and Finitely Accessible Additive Categories into Freyd Categories 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)