A simple characterization of theories of varieties

DOI10.1006/JABR.2000.8447MaRDI QIDQ1593791zbMATH OpenOpenAlexFDO

Authors R. Smith

Publication date 22 July 2002

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jabr.2000.8447

zbMATH Keywords

categories of modelsenough regular projectivesfinitely cocomplete categorieslocally finitely presentable categoriesquasivarieties

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35)

Review text

It is known [\textit{J. Adámek} and \textit{H.-E. Porst}, J. Algebra 208, No. 2, 379-398 (1998; Zbl 0913.18004)] that the theories whose categories of models are quasivarieties are precisely the finitely cocomplete categories with enough regular projectives. It is also known [\textit{A. Carboni, M. C. Peddichio}, and \textit{J. Rosický}, J. Pure Appl. Algebra 161, No. 1-2, 65-90 (2001; Zbl 0982.18006)] that to exact categories regarded as categories of models correspond certain types of theories called ``proexact but which are rather technically defined. Since the varieties are the exact quasivarieties, a combination of the above two results readily gives a characterization of the theories of varieties. What the authors show in this paper is that a simpler approach is more fruitful and prove that the theories whose categories of models are the varieties are precisely the finitely cocomplete categories having enough effective projectives, by which they mean objects \(E\) such that \(\hom(E,-)\) preserves coequalizers of reflexive graphs. They also exhibit the 2-category of varieties as a bireflective sub 2-category of the 2-category of locally finitely presentable categories.

Recommendations

• A note on effectively projective objects
• A categorical characterization of varieties
• On quasivarieties and varieties as categories
• Localizations of varieties and quasivarieties
• scientific article; zbMATH DE number 937372

Cites work

• Algebraic theories of quasivarieties
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1522858 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Some Results on Locally Finitely Presentable Categories
• Syntactic characterizations of various classes of locally presentable categories
• The symmetric topos

Cited in

(10)

• Algebraic theories of quasivarieties
• Localizations of varieties and quasivarieties
• A classification of accessible categories
• On the abstract characterization of quasivarieties
• A categorical characterization of varieties
• Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties
• scientific article; zbMATH DE number 1508920 (Why is no real title available?)
• A note on effectively projective objects
• Syntactic characterizations of various classes of locally presentable categories
• Affine parts of algebraic theories

This page was built for publication: A simple characterization of theories of varieties

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