A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties
Abstrakt
We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences.