Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems

An extension of parts of the theory of partially ordered varieties and quasivarieties, as presented by Pałasiń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 in the more traditional treatment. The aim here is to build the generalized framework and to formulate and prove abstract versions of the ordered homomorphism theorems in this framework. To Don Pigozzi and Kate Pałasińska.