A simple characterization of theories of varieties (Q1593791): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jabr.2000.8447 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2046312765 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic theories of quasivarieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The symmetric topos / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4511141 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Syntactic characterizations of various classes of locally presentable categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4100671 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Results on Locally Finitely Presentable Categories / rank
 
Normal rank

Latest revision as of 12:39, 3 June 2024

scientific article
Language Label Description Also known as
English
A simple characterization of theories of varieties
scientific article

    Statements

    A simple characterization of theories of varieties (English)
    0 references
    0 references
    22 July 2002
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    categories of models
    0 references
    quasivarieties
    0 references
    finitely cocomplete categories
    0 references
    enough regular projectives
    0 references
    locally finitely presentable categories
    0 references
    0 references