Armenian Journal of Mathematics, 4(1)
2012; 1–24
Shared with The Gufo

Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors

George Voutsadakis*

Received: 2024-12-19 · Published: 2012-05-25

© 2012 The Author(s) and the original publisher.

CC BY 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.
Shared article.
Original title
Categorical Abstract Algebraic Logic: Closure Operators on Classes of PoFunctors
Author
George Voutsadakis
Source journal
Armenian Journal of Mathematics, 4(1)
Published
2012-05-25
Licence
Creative Commons Attribution 4.0 International
Original
https://armjmath.sci.am/index.php/ajm/article/view/81

Abstract

Following work of Palasinska and Pigozzi on partially ordered varieties and quasi-varieties of universal algebras, the author recently introduced partially ordered systems (posystems) and partially ordered functors (pofunctors) to cover the case of the algebraic systems arising in categorical abstract algebraic logic. Analogs of the ordered homomorphism theorems of universal algebra were shown to hold in the context of pofunctors. In the present work, operators on classes of pofunctors are introduced and it is shown that classes of pofunctors are closed under the HSP and the SPPU operators, forming analogs of the well-known variety and quasi-variety operators, respectively, of universal algebra.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates