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

Authors: Tommaso Moraschini
Publication year: 2018
Publication type: Článek v odborném periodiku
Periodical: Journal of Symbolic Logic
Projects: Modeling vague quantifiers in mathematical fuzzy logic
Bibliographic citation: MORASCHINI, Tommaso. A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties. Journal of Symbolic Logic. 2018, 83(3), 899-919. ISSN 0022-4812. E-ISSN 1943-5886
Dostupné z: doi:10.1017/jsl.2018.47
DOI: 10.1017/jsl.2018.47
ID: 497013

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.