1 research outputs found
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
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