A logical and algebraic characterization of adjunctions between generalized quasi-varieties
Logic
2019-08-02 v1
Abstract
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.
Cite
@article{arxiv.1908.00534,
title = {A logical and algebraic characterization of adjunctions between generalized quasi-varieties},
author = {T. Moraschini},
journal= {arXiv preprint arXiv:1908.00534},
year = {2019}
}