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

0497013 - ÚI 2019 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807
Klíčová slova: adjunction * adjoint functor * category theory * universal algebra * category equivalence * matrix power * contextual translation * locally presentable category
Obor OECD: Pure mathematics
Impakt faktor: 0.572, rok: 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.
Trvalý link: http://hdl.handle.net/11104/0289622