Algebraic theories of quasivarieties (Q1273384): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Jiří Adámek / rank | |||
Property / author | |||
Property / author: Jiří Adámek / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.1998.7499 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2021826450 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How to sketch quasivarieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence and Nonexistence of Regular Generators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3830985 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4856547 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kennzeichnung von primitiven und quasiprimitiven Kategorien von Algebren / 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: Q5343379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124986 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5599205 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong conceptual completeness for first-order logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Results on Locally Finitely Presentable Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Models of Horn theories revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3876103 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 16:39, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic theories of quasivarieties |
scientific article |
Statements
Algebraic theories of quasivarieties (English)
0 references
9 March 1999
0 references
By the theory of a locally finitely presentable category \(\mathcal K\) is meant the dual \(\text{Th}(\mathcal K)\) of the subcategory of finitely presentable objects. The authors characterize the theories of (many-sorted, finitary) (a) quasivarieties and (b) Horn classes. The characterizations are simply stated; for (a), it is just the small left exact categories with enough regular injectives; (b) requires a suitable extension of ``regular''. The paper also reviews known characterizations of quasivarieties (due to Adámek and Rosický, and in the one-sorted case, to the reviewer) and corrects an erroneous characterization stated by \textit{M. Barr} [Contemp. Math. 92, 1-7 (1989; Zbl 0676.03022)].
0 references
algebraic theory
0 references
quasivariety
0 references
Horn class
0 references
many-sorted theory
0 references
finitely presentable
0 references