Partially Ordered Varieties and Quasivarieties
نویسنده
چکیده
The recent development of abstract algebraic logic has led to a reconsideration of the universal algebraic theory of ordered algebras from a new perspective. The familiar equational logic of Birkhoff can be naturally viewed as one of the deductive systems that constitute the main object of study in abstract algebraic logic; technically it is a deductive system of dimension two. Large parts of universal algebra turn out to fit smoothly within the matrix semantics of this deductive system. Ordered algebras in turn can be viewed as special kinds of matrix models of other, closely related, 2-dimensional deductive systems. We consider here a more general notion of ordered algebra in which some operations may be anti-monotone in some arguments; this leads to many different ordered equational logics over the same language. These lectures will be a introduction to universal ordered algebra from this new perspective.
منابع مشابه
Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties
A syntactic apparatus is introduced for the study of the algebraic properties of classes of partially ordered algebraic systems (a.k.a. partially ordered functors (pofunctors)). A Birkhoff-style order HSP theorem and a Mal’cev-style order SLP theorem are proved for partially ordered varieties and partially ordered quasivarieties, respectively, of partially ordered algebraic systems based on thi...
متن کاملQuasivarieties and varieties of ordered algebras: regularity and exactness
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are cocompletions of their theories under sifted colimits (again, i...
متن کاملCategorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
An extension of parts of the theory of partially ordered varieties and quasivarieties, as presented by Paaasińska and Pigozzi in the framework of abstract algebraic logic, is developed in the more abstract framework of categorical abstract algebraic logic. Algebraic systems, as introduced in previous work by the author, play in this more abstract framework the role that universal algebras play ...
متن کاملMinimal Varieties and Quasivarieties of Semilattices with One Automorphism
We describe all minimal quasivarieties and all minimal varieties of semilattices with one automorphism (considered as algebras with one binary and two unary operations).
متن کاملKeith A . Kearnes Quasivarieties of Modules Over Path Algebras of Quivers Dedicated to the memory of Willem Johannes Blok
Let FΓ be a finite dimensional path algebra of a quiver Γ over a field F. Let L and R denote the varieties of all left and right FΓ-modules respectively. We prove the equivalence of the following statements. • The subvariety lattice of L is a sublattice of the subquasivariety lattice of L. • The subquasivariety lattice of R is distributive. • Γ is an ordered forest.
متن کامل