scientific article; zbMATH DE number 1391666
A finitary (one-sorted) variety \(V\) is called Maltsev iff its theory has a ternary operation \(p\) satisfying that \(p(x,y,y)=x\) and \(p(x,x,y)=y\) for all \(x,y\). This includes numerous examples of well known categories of varieties such as groups, modules, crossed modules, Lie algebras, Heyting algebras and others. The second author has generalized the work of Gabriel and Popescu showing that Grothendieck categories are the localizations of module categories to prove that the localizations of varieties are precisely the Barr exact categories with a regular generator and exact filtered colimits. These ideas are combined in this paper to consider localizations of Maltsev varieties. The first section of the paper initially looks at localizations of Maltsev monadic categories (a category is Maltsev iff every reflexive relation is in fact an equivalence relation, although proving symmetry suffices) and then generalizes to a characterization of localizations of Maltsev varieties. Section 2 considers the notion of naturally Maltsev category introduced by \textit{P. T. Johnstone} [``Affine categories and naturally Mal'cev categories, J. Pure Appl. Algebra 61, No. 3, 251-256 (1989; Zbl 0683.18007)] and proceeds to characterize localizations of naturally Maltsev varieties as naturally Maltsev categories with a regular generator which admits all copowers and with filtered colimits commuting with finite limits. As a corollary of their general results, the authors obtain the classical Gabriel-Popescu theorem for Grothendieck categories.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4936006)
