A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties

0497013 - ÚI 2019 RIV US eng J - Journal Article
Moraschini, Tommaso
A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties.
Journal of Symbolic Logic. Roč. 83, č. 3 (2018), s. 899-919. ISSN 0022-4812. E-ISSN 1943-5886
R&D Projects: GA ČR(CZ) GF15-34650L
Grant - others:Austrian Science Fund(AT) I1897-N25
Institutional support: RVO:67985807
Keywords : adjunction * adjoint functor * category theory * universal algebra * category equivalence * matrix power * contextual translation * locally presentable category
OECD category: Pure mathematics
Impact factor: 0.572, year: 2018

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.
Permanent Link: http://hdl.handle.net/11104/0289622