Definable categories

DOI10.1016/j.jpaa.2017.06.004zbMath1408.18007arXiv1612.03711OpenAlexW4205860543MaRDI QIDQ1689577

Amit Kuber, Jiří Rosický

Publication date: 12 January 2018

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

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

zbMATH Keywords

dualityexact categoryabelian categoryadditive categorycategorical logicfunctor categorydefinable category2-anti-equivalence2-equivalencefinite injectivity classregular topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abelian categories, Grothendieck categories (18E10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35)

Related Items (4)

Enriched purity and presentability in Banach spaces ⋮ Flatness, weakly lex colimits, and free exact completions ⋮ A variety theorem for relational universal algebra ⋮ Enriched regular theories

Cites Work

• A theorem on Barr-exact categories, with an infinitary generalization
• Stone duality for first order logic
• Exactly definable categories
• Abelian categories over additive ones
• Structure sheaves of definable additive categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Definable additive categories: purity and model theory
• On algebraically exact categories and essential localizations of varieties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Definable categories