## A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES

TOMMASO MORASCHINI

A bstract . 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.

The aim of the paper is to describe a logical and algebraic characterization of adjunctions between generalized quasi-varieties. 1 This characterization is achieved by developing a correspondence between the concept of adjunction and a new notion of translation, called contextual translation , between equational consequences relative to classes of algebras. More precisely, given two generalized quasi-varieties K and K ′ , every contextual translation of the equational consequence relative to K into the one relative to K ′ corresponds to a right adjoint functor from K ′ to K and vice-versa (Theorems 3 5 . and 4 3 . ). In a slogan, contextual translations between relative equational consequences are the duals of right adjoint functors. Examples of this correspondence abound in the literature, e.g., G¨del's translation o of intuitionistic logic into the modal system S 4 corresponds to the functor that extracts the Heyting algebra of open elements from an interior algebra (Examples 3 3 . and 3 6 . ), and Kolmogorov's translation of classical logic into intuitionistic logic corresponds to the functor that extracts the Boolean algebra of regular elements out of a Heyting algebra (Examples 3 4 . and 3 6 . ).

The algebraic aspect of our characterization of adjunctions is inspired by the work of McKenzie on category equivalences [ 24 ]. Roughly speaking, McKenzie discovered a combinatorial description of category equivalence between prevarieties of algebras (here Theorem 2 14 . ). In particular, he showed that if two prevarieties K and K ′ are categorically equivalent, then we can transform K into K ′ by applying two kinds of deformations to K . The first of these deformations is the matrix power construction. The matrix power with exponent n ∈ w of an algebra A is a new algebra A [ n ] with universe A n and whose basic m -ary operations are all n -sequences of ( m × n ) -ary term functions of A , which are applied componentwise. The other basic deformation is defined by means of idempotent and invertible terms, see Example 2 11 . . This algebraic approach to category equivalences has been reformulated in categorical terms in [ 27 , 28 ] and has an antecedent in [ 12 ].

Date : August 2 , 2019 .

Key words and phrases. Adjunction, Adjoint functor, Category Theory, Universal Algebra, Category equivalence, Matrix power, Contextual translation, Locally presentable category 2010 Mathematics Subject Classification. 18A15, 18A40, 03C05, 03G27.

1 An extended preprint containing detailed proofs is available on the author's webpage.

Building on McKenzie's work and on the theory of locally presentable categories [ 3 ], we show that every right adjoint functor between generalized quasi-varieties can be decomposed into a combination of two deformations that generalize the ones devised in the special case of category equivalence. These deformations are matrix powers with (possibly) infinite exponent and the following construction. Given an algebra A , we say that a set of equations q in a single variable is compatible with a sublanguage L of the language of A if the set of solutions of q in A is closed under the restriction of the operations in L . In this case we let q L ( A ) be the algebra obtained by equipping the set of solutions of q in A with the restriction of the operations in L . The main result of the paper shows that every right adjoint functor between generalized quasi-varieties is, up to a natural isomorphism, a composition of the matrix power construction and of the q L construction (Theorem 5 1 . ). Moreover, every functor obtained as a composition of these deformations is indeed a right adjoint. This result can be seen as a purely algebraic formulation of the classical description of adjunctions in categories with a free object, which can be traced back at least to [ 14 ] (Remark 5 3 . ).

## 1 . A lgebraic preliminaries

For information on standard notions of universal algebra we refer the reader to [ 6 , 9 , 25 ]. Given an algebraic language L and a set X , we denote the set of terms over L built up with the variables in X by Tm ( L , X ) , and the corresponding absolutely free algebra by Tm ( L , X ) . We also denote the set of equations built up from X by Eq ( L , X ) . Formally speaking, equations are pairs of terms, i.e., Eq ( L , X ) : = Tm ( L , X ) × Tm ( L , X ) . When the language L is clear from the context, we simply write Tm X ( ) , Eq X ( ) and Tm ( X ) . Sometimes we write Tm ( L , k ) to stress the cardinality k of the set of variables. The same convention applies to equations and term algebras. Given two cardinals k and l , we denote their Cartesian product by k × l . We denote the set of natural numbers by w .

We denote the class operators of isomorphism, homomorphic images, subalgebras, direct products, (isomorphic copies of) subdirect products and ultraproducts respectively by I , H S P P , , , sd and P u . We assume that product-style class operators admit empty set of indexes and give a trivial algebra as a result. We denote algebras by bold capital letters A B C , , , etc. (with universes A B C , , , etc.). Given a class of algebras K , we denote its language by L K .

Given an algebraic language L , a generalized quasi-equation F is an expression

$$\Phi = ( \bigwedge _ { i \in I } \alpha _ { i } \approx \beta _ { i } ) \to \varphi \approx \psi$$

where I is a possibly infinite set and a i ≈ b i and j ≈ y are equations. A quasiequation is a generalized quasi-equation in which the set I is finite. Given an algebra A , we say that a generalized quasi-equation F holds in A , in symbols A glyph[satisfies] F , if for every assignment glyph[vector] a ∈ A we have that

$$\text{if } \alpha _ { i } ^ { A } ( \vec { a } ) = \beta _ { i } ^ { A } ( \vec { a } ) \text{ for all } i \in I, \text{ then } \varphi ^ { A } ( \vec { a } ) = \psi ^ { A } ( \vec { a } ).$$

A prevariety is a class of algebras axiomatized by (a class of) arbitrary generalized quasi-equations or, equivalently, a class closed under I , S and P . A generalized quasivariety is a class of algebras axiomatized by (a set of) generalized quasi-equations

whose number of variables is bounded by some infinite cardinal. 2 These can be equivalently characterized [ 7 ] as the classes of algebras closed under I , S P , and U k (for some infinite cardinal k ), where for every class of algebras K ,

$$\mathbb { U } _ { \kappa } ( K ) \coloneqq \{ A \colon B \in K \text{ for every } \kappa \text{-generated subalgebra } B \leqslant A \}.$$

It is well known that a quasi-variety is a class of algebras axiomatized by quasiequations or, equivalently, a class closed under I , S P , and P u . A variety is a class of algebras axiomatized by equations or, equivalently, closed under H S , and P . Given a class of algebras K , we denote by GQ k ( K ) the models of the generalized quasi-equations in k -many variables that hold in K and respectively by Q ( K ) and V ( K ) the quasi-variety and the variety generated by K . It is well known that

$$\mathbb { G Q } _ { \kappa } ( K ) = \mathbb { U } _ { \kappa } \mathbb { I S P } ( K ) \ \mathbb { Q } ( K ) = \mathbb { I S P P } _ { U } ( K ) \ \mathbb { V } ( K ) = \mathbb { H S P } ( K ).$$

Given a class of algebras K and a set X , we denote by Tm K ( X ) the free algebra in K with free generators X . In general the free algebra Tm K ( X ) is constructed as a quotient of the term algebra Tm ( X ) and its elements are congruence classes of terms equivalent in K . Sometimes we identify the universe of Tm K ( X ) with a set of its representatives, i.e., with a set of terms in variables X . It is well known that prevarieties contain free algebras with arbitrary large sets of free generators.

Given a class of algebras K and an algebra A , we say that a congruence q of A is a K -congruence if A / q ∈ K , and denote the collection of K -congruences by Con K A . In particular, we will denote by pq : A → A / q the canonical surjection. If K is a prevariety, then Con K A forms a closure system when ordered under the inclusion relation. We denote by Cg A K the closure operator of generation of K -congruences. Given a class of algebras K and F ∪{ # ≈ d } ⊆ Eq X ( ) , we define

$$\Phi$$

$$\Phi \vdash _ { K } \varepsilon \approx \delta \Longleftrightarrow & \text{ for every } A \in K \text{ and every } h \colon T m ( X ) \to A \\ & \text{ if } h \varphi = h \psi \text{ for every } \varphi \approx \psi \in \Phi, \text{ then } h \varepsilon = h \delta.$$

The relation glyph[satisfies] K is called the equational consequence relative to K . The function C K : P ( Eq X ( )) →P ( Eq X ( )) defined by the rule

$$C _ { K } ( \Phi ) \coloneqq \{ \varepsilon \approx \delta \, \colon \Phi \vdash _ { K } \varepsilon \approx \delta \}, \, \text{for every } \Phi \subseteq E q ( X )$$

is a closure operator over Eq X ( ) . If K is a prevariety, then the set of fixed points of C K : P ( Eq X ( )) →P ( Eq X ( )) coincides with Con K Tm ( X ) . Now let K be a quasivariety and A an arbitrary algebra. The lattice Con K A is algebraic and its compact elements Comp K A are the finitely generated K -congruences. In particular, the closure operator Cg A K is finitary. An algebra A ∈ K is K -finitely presentable if there is some n ∈ w and q ∈ Comp K Tm K ( n ) such that A is isomorphic to Tm K ( n ) / . q

For standard information on category theory we refer the reader to [ 2 , 5 , 21 ], while for categorical universal algebra see [ 3 , 4 ]. Let k be a regular cardinal and let K be a locally small category. An object A in K is k -presentable if the functor hom ( A , · ) preserves k -directed colimits. In generalized quasi-varieties the k -presentable objects can be described as follows:

2 It is worth remarking that both the existence and the non-existence of a prevariety that is not a generalized quasi-variety are consistent (relative to large cardinals) with von Neumann-Bernays-G¨ odel class theory (NGB) with the Axiom of Choice. In fact in NBG the assumption that every prevariety is a generalized quasi-variety is equivalent to the Vopˇ enka Principle , which states that every class of pairwise non-embeddable models of a first-order theory is a set [ 1 ] (see also [ 16 , Proposition 2 3 18 . . ]).

Lemma 1 1 . . Let k be a regular cardinal and K be a generalized quasi-variety axiomatized by generalized quasi-equations in less than k variables. An algebra A ∈ K is k -presentable in the categorical sense if and only if it is (isomorphic to) a quotient of Tm K ( l ) under a m -generated K -congruence for some l m , &lt; k .

Let k be a regular cardinal and K be a locally small category. K is locally k -presentable [ 3 ] if it is cocomplete, and has a set J of k -presentable objects such that every object in K is a k -directed colimit of objects in J . Moreover, K is locally presentable if it is locally k -presentable for some regular cardinal k . Generalized quasi-varieties, equipped with homomorphisms, can be seen as categories. 3

Lemma 1 2 . . Generalized quasi-varieties are locally presentable categories.

Ad´ amek and Rosick´ y proved in [ 3 , Theorem 1 66 . ] the following characterization of right adjoint functors between locally presentable categories. By Lemma 1 2 . it applies to generalized quasi-varieties as well.

Theorem 1 3 . (Ad´ amek and Rosick´ y) . A functor between locally presentable categories is right adjoint if and only if it preserves limits and k -directed colimits for some regular cardinal k .

Given two prevarieties X and Y , the functors F : X ←→ Y : G , where F sends everything to the initial object and G sends every object to the terminal object, always form an adjunction F glyph[turnstileright] G . We call the adjunctions of this kind trivial . In particular, we say that a left (resp. right) adjoint functor between prevarieties is trivial if it sends everything to the initial (resp. terminal) object.

## 2 . T he two basic deformations

In this section we describe two general methods to deform a given generalized quasi-variety, obtaining a new generalized quasi-variety that is related to the first one by an adjunction. The first deformation that we consider is just an infinite version of the usual finite matrix power construction. Let X be a class of similar algebras and k be a cardinal. Then observe that every term j ∈ Tm ( k ) induces a map j : A k → A for every A ∈ X .

Definition 2 1 . . Let k &gt; 0 be a cardinal and X a class of similar algebras. Then L k X is the algebraic language whose n -ary operations (for every n ∈ w ) are all k -sequences 〈 t i : i &lt; k 〉 of terms t i of the language of X built up with variables

$$\{ x _ { m } ^ { j } \colon 1 \leqslant m \leqslant n \text{ and } j < \kappa \}.$$

Observe that each t i has a finite number of variables, possibly none, of each sequence glyph[vector] xm : = 〈 xm j : j &lt; k 〉 with 1 glyph[lessorequalslant] m glyph[lessorequalslant] n . We will write t i = t i ( glyph[vector] x 1 , . . . , glyph[vector] xn ) to denote this fact.

3 If the language of a generalized quasi-variety K contains no constant symbols, then (when seen as a category) K is assumed to contain the empty algebra as an object.

Example 2 2 . . Consider the variety of bounded distributive lattices DL 01 . Examples of basic operations of L 2 DL 01 are:

$$\mathfrak { o u s o d } _ { D L _ { 0 1 } } \text{ a c.} \\ \langle x ^ { 1 }, x ^ { 2 } \rangle & \sqcap \langle y ^ { 1 }, y ^ { 2 } \rangle = \langle x ^ { 1 } \wedge y ^ { 1 }, x ^ { 2 } \vee y ^ { 2 } \rangle \\ \langle x ^ { 1 }, x ^ { 2 } \rangle & \sqcup \langle y ^ { 1 }, y ^ { 2 } \rangle = \langle x ^ { 1 } \vee y ^ { 1 }, x ^ { 2 } \wedge y ^ { 2 } \rangle \\ \neg \langle x ^ { 1 }, x ^ { 2 } \rangle = \langle x ^ { 2 }, x ^ { 1 } \rangle \\ 1 & = \langle 1, 0 \rangle \\ 0 & = \langle 0, 1 \rangle. \\ \mathcal { C } \dots \colon \frac { 1 } { 2 } \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{array}$$

Definition 2 3 . . Consider an algebra A ∈ X and a cardinal k &gt; 0. We let A [ k ] be the algebra of type L k X with universe A k where a n -ary operation 〈 t i : i &lt; k 〉 is interpreted as

$$\langle t _ { i } \colon i < \kappa \rangle ( a _ { 1 }, \dots, a _ { n } ) = \langle t _ { i } ^ { \mathbf A } ( a _ { 1 } / \vec { x } _ { 1 }, \dots, a _ { n } / \vec { x } _ { n } ) \colon i < \kappa \rangle$$

for every a 1 , . . . , an ∈ A k (the notation am / glyph[vector] xm means that we are assigning the tuple am of elements of A to the tuple of variables glyph[vector] xm ). In other words 〈 t i : i &lt; k 〉 ( a 1 , . . . , an ) is the k -sequence of elements of A defined as follows. Consider i &lt; k . Observe that only a finite number of variables occurs in t i , say

$$t _ { i } = t _ { i } ( x _ { 1 } ^ { \alpha _ { 1 } ^ { 1 } }, \dots, x _ { 1 } ^ { \alpha _ { m _ { 1 } } ^ { 1 } }, \dots, x _ { n } ^ { \alpha _ { 1 } ^ { n } }, \dots, x _ { n } ^ { \alpha _ { m _ { n } } ^ { n } } ),$$

where a 1 1 , . . . , a 1 m 1 , . . . , a n 1 , . . . , a n mn &lt; k . Then the i -th component of the sequence 〈 t i : i &lt; k 〉 ( a 1 , . . . , an ) is

$$t _ { i } ^ { A } ( a _ { 1 } ( \alpha _ { 1 } ^ { 1 } ), \dots, a _ { 1 } ( \alpha _ { m _ { 1 } } ^ { 1 } ), \dots, a _ { n } ( \alpha _ { 1 } ^ { n } ), \dots, a _ { 1 } ( \alpha _ { m _ { n } } ^ { n } ) ).$$

If X is a class of similar algebras, we set

$$X ^ { [ \kappa ] } \coloneqq \mathbb { I } \{ A ^ { [ \kappa ] } \colon A \in X \}$$

and call it the k -th matrix power of X .

Now, let [ k ] be the map defined as follows:

↦

↦

$$A & \longmapsto A ^ { [ \kappa ] } \\ f \colon A \to B & \longmapsto f ^ { [ \kappa ] } \colon A ^ { [ \kappa ] } \to B ^ { [ \kappa ] }$$

where f [ k ] 〈 ai : i &lt; k 〉 : = 〈 f ( ai ) : i &lt; k 〉 , for every A B , ∈ X and every homomorphism f . It is easy to check that the map f [ k ] : A [ k ] → B [ k ] is indeed a homomorphism.

Example 2 4 . . In Example 2 2 . we highlighted some operations of L 2 DL 01 . Let us explain how are they interpreted in the matrix power construction. Consider A ∈ DL 01 . The universe of A [ 2 ] is just the Cartesian product A × A . We have that:

$$\text{se or } A ^ { \neg } \text{ is just } \text{ne Cartesian product} \\ \langle a, b \rangle \sqcap \langle c, d \rangle & = \langle a \wedge c, b \vee d \rangle \\ \langle a, b \rangle \sqcup \langle c, d \rangle & = \langle a \vee c, b \wedge d \rangle \\ \neg \langle a, b \rangle & = \langle b, a \rangle \\ 1 & = \langle 1 ^ { A }, 0 ^ { A } \rangle \\ 0 & = \langle 0 ^ { A }, 1 ^ { A } \rangle$$

for every 〈 a b , 〉 , 〈 c , d 〉 ∈ A × A . Examples of matrix powers with infinite exponent are technically, but not conceptually, more involved (see Example 5 5 . ). glyph[squaremultiply]

Theorem 2 5 . . Let X be a generalized quasi-variety and k &gt; 0 a cardinal. If Y is a generalized quasi-variety such that X [ k ] ⊆ Y , then [ k ] : X → Y is a right adjoint functor.

Proof. It is not difficult to see that the map [ k ] is a functor that preserves direct products and equalizers. Since all limits can be constructed as combination of products and equalizers, we conclude that [ k ] preserves limits. Moreover, [ k ] preserves l -directed colimits for every regular cardinal l , larger than the number of variables occurring in the generalized quasi-equations axiomatizing X and Y . With an application of Theorem 1 3 . we are done. glyph[squaremultiply]

Example 2 6 . ( Finite Exponent ) . It is not difficult to see that if X is a class of similar algebras and k &gt; 0, then the functor [ k ] : X → X [ k ] is a category equivalence (see for example [ 24 , Theorem 2 3 . .(i)] where this is stated under the assumption that k is finite). Moreover, when k is finite, it happens that if X is a prevariety (or a generalized quasi-variety, a quasi-variety, a variety), then so is X [ k ] . glyph[squaremultiply]

In order to describe the second kind of deformation, we need the following:

Definition 2 7 . . Let X be a class of similar algebras and L ⊆ L X . Aset of equations q ⊆ Eq ( L X , 1 ) is compatible with L in X if for every n -ary operation j ∈ L we have that

$$\theta ( x _ { 1 } ) \cup \dots \cup \theta ( x _ { n } ) \models _ { X } \theta ( \varphi ( x _ { 1 }, \dots, x _ { n } ) ).$$

In other words q is compatible with L in X when the solution sets of q in X are closed under the interpretation of the operations and constants in L .

Now we will explain how is it possible to build a functor out of a set of equations q compatible with L ⊆ L X . For every A ∈ X , we let q L ( A ) be the algebra of type L whose universe is

$$\theta _ { \mathcal { L } } ( A ) \coloneqq \{ a \in A \, \colon A \, \models \theta ( a ) \}$$

equipped with the restriction of the operations in L . We know that q L ( A ) is well-defined, since its universe is closed under the interpretation of the operations in L and contains the interpretation of the constants in L . Observe that by definition of compatibility q L ( A ) can be empty if and only if L contains no constant symbol.

Given a homomorphism f : A → B in X , we denote its restriction to q L ( A ) by

$$\theta _ { \mathcal { L } } ( f ) \colon \theta _ { \mathcal { L } } ( A ) \to \theta _ { \mathcal { L } } ( B ).$$

It is easy to see that q L ( f ) is a well-defined homomorphism. Now, consider the following class of algebras:

$$\theta _ { \mathcal { L } } ( X ) \coloneqq \mathbb { I } \{ \theta _ { \mathcal { L } } ( A ) \colon A \in X \}.$$

Let q L : X → q L ( X ) be the map defined by the following rule:

↦

↦

$$A & \longmapsto \theta _ { \mathcal { L } } ( A ) \\ f \colon A & \rightarrow B & \longmapsto \theta _ { \mathcal { L } } ( f ) \colon \theta _ { \mathcal { L } } ( A ) \rightarrow \theta _ { \mathcal { L } } ( B ).$$

It is easy to check that q L is a functor.

Theorem 2 8 . . Let X be a generalized quasi-variety and q ⊆ Eq ( L X , 1 ) a set of equations compatible with L ⊆ L X . If Y is a generalized quasi-variety such that q L ( X ) ⊆ Y , then q L : X → Y is a right adjoint functor.

Proof. By Theorem 1 3 . we know that the functor q L is a right adjoint if and only if it preserves limits and k -directed colimits for some regular cardinal k . It is easy to see that q L preserves direct products and equalizers and, therefore, all limits. Moreover, q L preserves k -directed colimits for every regular cardinal k , larger than the number of variables occurring in the generalized quasi-equations axiomatizing X . glyph[squaremultiply]

A familiar instance of the above construction is the following:

Example 2 9 . ( Subreducts ) . Let X be a (generalized) quasi-variety and L ⊆ L X . An L -subreduct of an algebra A ∈ X is a subalgebra of the L -reduct of A . From [ 16 , Proposition 2 3 19 . . ] it is easy to infer that the class Y of L -subreducts of algebras in X is a (generalized) quasi-variety. For quasi-varieties this fact was proved by Maltsev [ 23 ]. Consider the forgetful functor U : X → Y . It is easy to see that U = q L where q = ˘ . From Theorem 2 8 . it follows that U has a left adjoint. glyph[squaremultiply]

In the next examples we illustrate how the two deformations introduced so far can be combined to describe right adjoint functors.

Example 2 10 . ( Kleene Algebras ) . A Kleene algebra A = 〈 A , glyph[intersectionsq] , glyph[unionsq] , ¬ , 0, 1 〉 is a De Morgan algebra in which the equation x glyph[intersectionsq] ¬ x glyph[lessorequalslant] y glyph[unionsq] ¬ y holds. We denote by KA the variety of Kleene algebras and by DL 01 the variety of bounded distributive lattices. In [ 10 ] (but see also [ 17 ]) a way of constructing Kleene algebras out of bounded distributive lattices is described. More precisely, given A ∈ DL 01 , the Kleene algebra G ( A ) has universe

$$G ( A ) \coloneqq \{ \langle a, b \rangle \in A ^ { 2 } \colon a \wedge b = 0 \}$$

and operations defined as in Example 2 4 . . Moreover, given a homomorphism f : A → B in DL 01 , the map G ( f ) : G ( A ) → G ( B ) is defined by replicating f component-wise. It turns out that G : DL 01 → KA is a right adjoint functor [ 10 , Theorem 1 7 . ].

In order to decompose G into a combination of our two deformations, consider the sublanguage L of the language of DL [ 2 ] 01 , defined in Example 2 2 . . Consider also the set of equations

$$\theta \coloneqq \{ \langle x ^ { 1 } \wedge x ^ { 2 }, x ^ { 1 } \wedge x ^ { 2 } \rangle \approx \langle 0, 0 \rangle \} \subseteq E q ( \mathcal { L } _ { \mathrm D L _ { 0 1 } ^ { [ 2 ] } }, 1 ).$$

It is easy to see that q is compatible with L . Moreover, for every A ∈ DL 01 and a b , ∈ A we have that

$$\langle a, b \rangle \in \mathcal { G } ( A ) \Longleftrightarrow \langle a, b \rangle \in \theta _ { \mathcal { L } } ( A ).$$

Hence we conclude that q L ( A [ 2 ] ) = G ( A ) ∈ KA for every A ∈ DL [ 2 ] 01 . This implies that the functor G coincides with the composition q L ◦ [ 2 , ] where [ 2 : ] DL 01 → DL [ 2 ] 01 . glyph[squaremultiply]

Before concluding this section, we show that the deformations described until now can be applied to decompose equivalence functors between prevarieties. This will make the connection with McKenzie's work [ 24 ] explicit. To this end, let us recall the definition of a special version of the q L construction.

Example 2 11 . ( Idempotent and Invertible Terms ) . Suppose that X is a prevariety and s ( x ) a unary term. We say that s ( x ) is idempotent if X glyph[satisfies] ss ( x ) ≈ s ( x ) and that s ( x ) is invertible if there are an n -ary term t and unary terms t 1 , . . . , tn such that

$$\times \left \langle t ( \sigma t _ { 1 } ( x ), \dots, \sigma t _ { n } ( x ) ) \approx x.$$

Given a unary and idempotent term s ( x ) of X , we define

$$\mathcal { L } \coloneqq \{ \sigma t \, \colon t \, \text{is a basic symbol of } X ^ { [ 1 ] } \}$$

and q : = { x ≈ s ( x ) } . Moreover, we define

$$\times ( \sigma ) \coloneqq \theta _ { \mathcal { L } } ( \mathbb { X } ^ { [ 1 ] } ).$$

McKenzie proved that the functor s : X → X ( s ) defined as the composition q L ◦ [ 1 ] is a category equivalence [ 24 , Theorem 2 2 . .(ii)]. Moreover, if X is a prevariety (or a generalized quasi-variety, a quasi-variety, a variety), then so is X ( s ) . Following the literature, we will write A ( s ) instead of s ( A ) for every A ∈ X . glyph[squaremultiply]

To introduce McKenzie's characterization of category equivalence, we restrict to prevarieties without constant symbols. It should be kept in mind that this restriction is somehow immaterial, since, given a prevariety K , we can always replace the constant symbols of K by constant unary operations obtaining a new prevariety K ′ whose only difference with K is the presence of the empty algebra.

We need to recall some basic concepts [ 6 , Definitions 4 76 . and 4 77 . ]:

Definition 2 12 . . Let X and Y be prevarieties without constant symbols. An interpretation of X in Y is a map τ : L X → Tm ( L Y , w ) such that:

- 1 . τ sends n -ary basic symbols to at most n -ary terms for every n glyph[greaterorequalslant] 1.
- 2 . A τ : = 〈 A , { τ ( l ) : l ∈ L X }〉 ∈ X for every A ∈ Y .

Definition 2 13 . . Two prevarieties X and Y without constant symbols are termequivalent if there are interpretations τ and ρ of X in Y and of Y in X respectively such that for every A ∈ X and B ∈ Y ,

$$( A ^ { \rho } ) ^ { \tau } = A \text{ and } ( B ^ { \tau } ) ^ { \rho } = B.$$

When two prevarieties X and Y without constant symbols are term-equivalent, the map that sends A ∈ X to A ρ ∈ Y and that is the identity on arrows is a category equivalence F ρ : X → Y . Then we have the following [ 24 , Theorem 6 1 . ]:

Theorem 2 14 . (McKenzie) . If G : X → Y is a category equivalence between prevarieties without constant symbols, then there are a natural number n &gt; 0 and a unary idempotent and invertible term s ( x ) of X [ n ] such that

- 1 . Y is term-equivalent to X [ n ] ( s ) under some interpretation ρ of Y in X [ n ] ( s ) .
- 2 . The functors G and F ρ ◦ ( s ◦ [ n ]) are naturally isomorphic.

## 3 . F rom translations to right adjoints

As we mentioned, our aim is to develop a correspondence between the adjunctions between two generalized quasi-varieties X and Y and the translations between the equational consequences relative to X and Y . To simplify the notation, we will assume throughout this section that X and Y are two fixed generalized quasi-varieties (possibly in different languages).

Definition 3 1 . . Consider a cardinal k &gt; 0. A k -translation τ of L X into L Y is a map from L X to L k Y that preserves the arities of function symbols.

In other words, if a basic symbol j ∈ L X is n -ary, we have that τ ( j ) = 〈 t i : i &lt; k 〉 for some terms t i = t i ( glyph[vector] x 1 , . . . , glyph[vector] xn ) of language of Y , where glyph[vector] xm = 〈 xm j : j &lt; k 〉 . It is worth remarking that τ sends constant symbols to sequences of constant symbols. Thus if L X contains a constant symbol, then also L Y must contain one for a translation to exist.

A k -translation τ extends naturally to arbitrary terms. Let us explain briefly how. Given a cardinal l , let Tm ( L X , l ) be the set of terms of X written with variables in { xj : j &lt; l } and let Tm ( L Y , k × l ) be the set of terms of Y written with variables in { x i j : j &lt; l , i &lt; k } . We define recursively a map

$$\tau _ { * } \colon T m ( \mathcal { L } _ { \mathbb { X } }, \lambda ) \to T m ( \mathcal { L } _ { \mathbb { Y } }, \kappa \times \lambda ) ^ { \kappa }.$$

For variables and constants we set

$$\tau _ { * } ( x _ { j } ) & \coloneqq \langle x _ { j } ^ { i } \colon i < \kappa \rangle, \text{ for every } j < \lambda \\ \tau _ { * } ( c ) & \coloneqq \tau ( c ).$$

For complex terms, let y ∈ L X be n -ary and j 1 , . . . , j n ∈ Tm ( L X , l ) . We have that τ ( y ) = 〈 t i : i &lt; k 〉 where t i = t i ( glyph[vector] x 1 , . . . , glyph[vector] xn ) . Keeping this in mind, we set

$$\tau _ { * } ( \psi ( \varphi _ { 1 }, \dots, \varphi _ { n } ) ) ( i ) \coloneqq t _ { i } ( \tau _ { * } ( \varphi _ { 1 } ) / \vec { x } _ { 1 }, \dots, \tau _ { * } ( \varphi _ { n } ) / \vec { x } _ { n } ) \text{ for every } i < \kappa.$$

The map τ ∗ can be lifted to sets of equations yielding a new function

$$\tau ^ { * } \colon \mathcal { P } ( E q ( \mathcal { L } _ { \mathbb { X } }, \lambda ) ) \to \mathcal { P } ( E q ( \mathcal { L } _ { \mathbb { Y } }, \kappa \times \lambda ) )$$

defined by the following rule:

↦

$$\Phi \longmapsto \{ \tau _ { * } ( \varepsilon ) ( i ) \approx \tau _ { * } ( \delta ) ( i ) \, \colon i < \kappa \text{ and } \varepsilon \approx \delta \in \Phi \}.$$

Definition 3 2 . . Consider a cardinal k &gt; 0. A contextual k -translation of glyph[satisfies] X into glyph[satisfies] Y is a pair 〈 τ , Q 〉 where τ is a k -translation of L X into L Y and Q ( glyph[vector] x ) ⊆ Eq ( L Y , k ) is a set of equations written with variables among { x i : i &lt; k } that satisfies the following conditions:

- 1 . For every cardinal l and equations F ∪ { # ≈ d } ⊆ Eq ( L X , l ) written with variables among { xj : j &lt; l } ,

$$\text{if $\Phi\models_{X} \, \varepsilon \approx \delta$, then $\tau^{*}(\Phi) \cup \bigcup_{j<\lambda} \, \Theta(\vec{x}_{j}) \, \mathbb { \models }_{Y} \, \tau^{*}(\varepsilon\approx \delta)$.}$$

- 2 . For every n -ary operation y ∈ L X ,

$$\Theta ( \vec { x } _ { 1 } ) \cup \dots \cup \Theta ( \vec { x } _ { n } ) \models _ { Y } \Theta ( \tau _ { * } \psi ( x _ { 1 }, \dots, x _ { n } ) ).$$

In 1 and 2 it is intended that glyph[vector] xj = 〈 x i j : i &lt; k 〉 . The set Q is the context of the contextual translation 〈 τ , Q 〉 .

A contextual k -translation 〈 τ , Q 〉 of glyph[satisfies] X into glyph[satisfies] Y is non-trivial provided that if there is a (non-empty) sequence glyph[vector] j ∈ Tm ( L Y , 0 ) k of constant symbols such that Y glyph[satisfies] Q j ( glyph[vector] ) , then there is i 0 &lt; k and sequences of variables

$$\vec { x } = \langle x ^ { i } \colon i < \kappa \rangle \text{ and } \vec { y } = \langle y ^ { i } \colon i < \kappa \rangle$$

such that

$$\Theta ( \vec { x } ) \cup \Theta ( \vec { y } ) \not \leq _ { \Upsilon } x ^ { i _ { 0 } } \approx y ^ { i _ { 0 } }.$$

Several translations between logics classically considered in the literature provide examples of this general notion of contextual translation.

Example 3 3 . ( Heyting and Interior Algebras ) . As shown by G¨ odel in [ 15 ] (see also [ 13 , 22 , 26 ]), it is possible to interpret the intuitionistic propositional calculus IPC into the consequence relation associated with the global modal system S 4 [ 19 , 20 ]. Since these two logics are algebraizable [ 8 ] with equivalent algebraic semantics the variety of Heyting algebras HA and of interior algebras IA respectively, this interpretation can be lifted from terms to equations. More precisely, let τ be the 1-translation of L HA into L IA defined as follows for all for glyph[star] ∈ {∧ ∨} , :

↦

$$x * y \longmapsto x * y \ \neg x \longmapsto \square \neg x \ x \to y \longmapsto \square ( x \to y )$$

↦

↦

The interpretation of IPC into S 4 can now be presented as follows:

$$\Gamma \vdash _ { \mathcal { I P C } } \varphi \Longleftrightarrow \sigma \tau _ { * } ( \Gamma ) \vdash _ { \mathcal { S } 4 } \sigma \tau _ { * } ( \varphi )$$

for every G ∪ { j } ⊆ Tm ( L HA , l ) , where s is the substitution sending every variable x to its necessitation glyph[square] x . In order to present this translation in our framework, we have to deal with the fact that we allow only translations that send variables to variables. As we mentioned, this problem is overcome by introducing a context in the premises. To explain how, we recall that the terms of Tm ( L HA , l ) are written with variables among { xj : j &lt; l } . Then we have that:

$$\sigma \tau _ { * } ( \Gamma ) \vdash _ { \mathcal { S } 4 } \sigma \tau _ { * } ( \varphi ) \Longleftrightarrow \tau _ { * } ( \Gamma ) \cup \{ x _ { j } \leftrightarrow \Box x _ { j } \colon j < \lambda \} \vdash _ { \mathcal { S } 4 } \tau _ { * } ( \varphi ). \quad \text{(2)}$$

The left-to-right direction of ( 2 ) follows from the fact that the algebraic meaning of xj ↔ glyph[square] xj is xj ≈ glyph[square] xj . To prove the other direction, suppose that the right-hand deduction holds. Then by structurality we can apply the substitution s to it. This fact, together with ˘ glyph[turnstileleft] S 4 glyph[square] x ↔ glyph[square]glyph[square] x , yields the desired conclusion. Now, using the completeness of IPC and S 4 with respect to the corresponding equivalent algebraic semantics, we obtain that

$$\Phi \models _ { \text{HA} } \varepsilon \approx \delta \Longleftrightarrow \tau ^ { * } ( \Phi ) \cup \bigcup _ { j < \lambda } \Theta ( x _ { j } ) \models _ { \text{IA} } \tau ^ { * } ( \varepsilon \approx \delta )$$

for every F ∪ { # ≈ d } ⊆ Eq ( L HA , l ) , where Q ( x ) = { x ≈ glyph[square] x } . Observe that ( 3 ) implies condition 1 of Definition 3 2 . . It is easy to see that condition 2 , of the same definition, holds as well. Therefore we conclude that 〈 τ , Q 〉 is a contextual translation of glyph[satisfies] HA into glyph[satisfies] IA . glyph[squaremultiply]

Example 3 4 . ( Heyting and Boolean Algebras ) . The same trick can be applied to subsume Kolmogorov's interpretation of classical propositional calculus CPC into IPC [ 18 ] in our framework. Let τ be the 1-translation defined as follows:

↦

$$0 \longmapsto 0 \ 1 \longmapsto 1 \ \neg x \longmapsto \neg x \ x * y \longmapsto \neg \neg ( x * y )$$

↦

↦

↦

for every glyph[star] ∈ {∧ ∨ →} , , . The original translation of Kolmogorov states that

$$\Gamma \vdash _ { \mathcal { C P C } } \varphi \Longleftrightarrow \sigma \tau _ { * } ( \Gamma ) \vdash _ { \mathcal { I P C } } \sigma \tau _ { * } ( \varphi )$$

for every G ∪{ } ⊆ j Tm ( L , l ) , where s is the substitution sending every variable x to its double negation ¬¬ x . Combining it with the observation that ˘ glyph[turnstileleft] IPC ¬ x ↔ ¬¬¬ x , it is easy to see that 〈 τ , Q 〉 with Q = { x ≈ ¬¬ } x is a contextual translation of glyph[satisfies] BA into glyph[satisfies] HA , where BA is the variety of Boolean algebras. glyph[squaremultiply]

The importance of non-trivial contextual k -translations of glyph[satisfies] X into glyph[satisfies] Y is that they correspond to non-trivial right adjoint functors from Y to X . Notice that right adjoints reverse the direction of contextual translations and vice-versa. We now proceed to establish one half of this correspondence by showing how to construct a right adjoint functor out of a contextual translation. Consider a non-trivial contextual k -translation 〈 τ , Q 〉 of glyph[satisfies] X into glyph[satisfies] Y . Then consider the set:

$$\mathcal { L } \coloneqq \{ \tau ( \psi ) \colon \psi \in \mathcal { L } _ { \mathbb { X } } \} \subseteq \mathcal { L } _ { \mathbb { Y } } ^ { \kappa }.$$

Observe that L is a sublanguage of the language of the matrix power Y [ k ] . Then consider the set

$$\theta \coloneqq \{ \vec { \varepsilon } \approx \vec { \delta } \colon \varepsilon \approx \delta \in \Theta \}$$

where glyph[vector] # and glyph[vector] d are the k -sequences constantly equal to # and d respectively. Observe that q is a set of identities between k -sequences of terms of Y in k variables. Now, k -sequences of terms of Y in k -many variables can be viewed as unary terms of the matrix power Y [ k ] . Thus q can be viewed as a set of equations in one variable in the language of Y [ k ] . Hence we have the three basic ingredients of our construction: a matrix power Y [ k ] , a sublanguage L ⊆ L k Y , and a set of equations q ⊆ Eq ( L k Y , 1 ) .

There is still a technicality we must take into account: when k is infinite the matrix power Y [ k ] may fail to be a generalized quasi-variety. Let K be the class of algebras defined as follows:

$$K \coloneqq \begin{cases} \, \mathbb { Q } ( Y ^ { [ k ] } ) \quad & \text{if $X$ and $Y$ are quasi-varieties} \\ \, \quad & \text{and $Cg_{Y}^{Tm_{Y}(\k)}(\Theta)$ is finitely generated} \\ \, \mathbb { G Q _ { \lambda } ( Y ^ { [ k ] } ) } & \text{otherwise, where $\lambda$ is infinite and $\mathbb{U}_{\lambda}(X)=X$} \end{cases}$$

where the expressions Q and GQ l have been introduced at pag. 3 . Observe that in the above definition l is not uniquely determined, but any choice will be equivalent for our purposes.

Theorem 3 5 . . Let X and Y be generalized quasi-varieties, let 〈 τ , Q 〉 be a non-trivial contextual k -translation of glyph[satisfies] X into glyph[satisfies] Y , and let K be the class just introduced. The maps [ k ] : Y → K and q L : K → X defined above are right adjoint functors. In particular, the composition q L ◦ [ k ] : Y → X is a non-trivial right adjoint.

Proof. Observe that K is a generalized quasi-variety. Therefore we can apply Theorem 2 5 . , yielding that [ k ] : Y → K is a right adjoint functor. Now we turn to prove the same for q L . We will detail the case where X and Y are quasi-varieties and Cg Tm Y ( k ) Y ( Q ) finitely generated, since the other case is analogous. Since Y is a quasi-variety and Cg Tm Y ( k ) Y ( Q ) is finitely generated, there is a finite set {〈 a i , b i 〉 : i &lt; n } ⊆ Q such that {〈 a i , b i 〉 : i &lt; n } = = || Y Q . It is easy to see that

$$\{ \vec { \alpha } _ { i } \approx \vec { \beta } _ { i } \, \colon i < n \} = | \models _ { \mathbb { Y } ^ { [ x ] } } \theta$$

where glyph[vector] a i and glyph[vector] b i are the k -sequences constantly equal to a i and b i respectively.

Now from condition 2 of Definition 3 2 . it follows that q is compatible with L in Y [ k ] , where L is the language defined in ( 4 ). From ( ) we know that this 5 compatibility condition can be expressed by a set of deductions, whose antecedent

is finite, of the equational consequence relative to Y [ k ] , i.e.,

$$\bigcup _ { j \leqslant m } \{ \vec { \alpha } _ { i } \approx \vec { \beta } _ { i } \colon i < n \} ( \vec { x } _ { j } ) \mathbb { - } _ { \mathcal { Y } ^ { [ k ] } } \theta ( \tau ( \psi ) ( \vec { x } _ { 1 }, \dots, \vec { x } _ { n } ) )$$

for every m -ary y ∈ L . In particular, this implies that q is still compatible with L in K (recall that K is the quasi-variety generated by Y [ k ] ).

We claim that q L ( A ) ∈ X for every A ∈ K . To prove this, consider any finite deduction

$$\varphi _ { 1 } \approx \psi _ { 1 }, \dots, \varphi _ { m } \approx \psi _ { m } \vDash _ { X } \, \varepsilon \approx \delta.$$

Let x 1 , . . . , xp be the variables that occur in it. From condition 1 of Definition 3 2 . it follows that

$$\{ \tau _ { * } ( \varphi _ { t } ) \approx \tau _ { * } ( \psi _ { t } ) \, \colon t \leqslant m \} \cup \bigcup _ { j \leqslant p } \theta ( \vec { x } _ { j } ) \, \ll _ { Y ^ { [ k ] } } \tau _ { * } ( \varepsilon ) \approx \tau _ { * } ( \delta )$$

where glyph[vector] xj = 〈 x i j : i &lt; k 〉 . Thanks to ( 5 ) the above deduction can be expressed by a collection of deductions, whose antecedent is finite, of the equational consequence relative to Y [ k ] , i.e.,

$$\{ \tau _ { * } ( \varphi _ { t } ) \approx \tau _ { * } ( \psi _ { t } ) \, \colon t \leqslant m \} \cup \bigcup _ { j \leqslant p } \{ \vec { \alpha } _ { i } \approx \vec { \beta } _ { i } \, \colon i < n \} ( \vec { x } _ { j } ) \, \mathbb { m } _ { Y ^ { [ k ] } } \, \tau _ { * } ( \varepsilon ) \approx \tau _ { * } ( \delta ).$$

Since K is the quasi-variety generated by Y [ k ] , we know that the above deduction persists in K . Together with the fact that { glyph[vector] a i ≈ glyph[vector] b i : i &lt; n } ⊆ q , this implies that for every A ∈ K and every a 1 , . . . , ap ∈ q L ( A ) , we have that:

$$\text{if } \theta _ { \mathcal { L } } ( \mathcal { A } ) & \models \varphi _ { 1 } \approx \psi _ { 1 }, \dots, \varphi _ { m } \approx \psi _ { m } [ a _ { 1 }, \dots, a _ { p } ], \\ \text{then } \theta _ { \mathcal { C } } ( \mathcal { A } ) & \models \varepsilon \approx \delta \mathbb { \P } a, \dots \dots a _ { \mathbb { M } }.$$

Thus we showed that q L ( A ) satisfies every quasi-equation that holds in X . Since X is a quasi-variety, we conclude that q L ( A ) ∈ X . This establishes our claim. Hence we can apply Theorem 2 8 . , yielding that q L : K → X is a right adjoint functor. We conclude that q L ◦ [ k ] : Y → X is a right adjoint functor.

$$\text{ then } \theta _ { \mathcal { L } } ( A ) & \models \varepsilon \approx \delta [ a _ { 1 }, \dots, a _ { p } ]. \\ \text{and } \text{then } \theta _ { \mathcal { L } } ( A ) \cdots \text{$\alpha$ of} \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \partial \, \colon$$

The fact that q L ◦ [ k ] is non-trivial follows from the fact that so is 〈 τ , Q 〉 . glyph[squaremultiply]

If we apply the above construction to G¨ odel and Kolmogorov's translations, we obtain some well-known transformations:

Example 3 6 . ( Open and Regular Elements ) . Given A ∈ IA , an element a ∈ A is open if glyph[square] a = a . The set of open elements Op ( A ) of A is closed under the lattice operations and contains the bounds. Moreover we can equip it with an implication glyph[multimap] and with a negation ∼ defined for every a b , ∈ Op ( A ) as follows:

$$a \rightarrow b \coloneqq \Box ^ { A } ( a \rightarrow ^ { A } b ) \text{ and } \sim a \coloneqq \Box ^ { A } \neg ^ { A } a.$$

It is well known that

$$O p ( A ) \coloneqq \langle O p ( A ), \wedge, \vee, - \circ, \sim, 0, 1 \rangle$$

is a Heyting algebra. Now, every homomorphism f : A → B between interior algebras restricts to a homomorphism f : Op ( A ) → Op ( B ) . Therefore the map Op: IA → HA can be regarded as a functor. As the reader may have guessed, it is in fact the right adjoint functor induced by G¨del's translation of o IPC into S 4 (Example 3 3 . ).

A similar correspondence arises from Kolmogorov's translation of CPC into IPC . More precisely, given A ∈ HA , an element a ∈ A is regular if ¬¬ a = a . It is well known that the set of regular elements Reg ( A ) of A is closed under ∧ ¬ , and → and contains the bounds. Moreover we can equip it with a new join glyph[unionsq] defined for every a b , ∈ Reg ( A ) as follows:

$$a \sqcup b \coloneqq \neg A _ { \neg } A _ { \real } ( a \vee b ).$$

It is well known that

$$\text{Reg} ( A ) \coloneqq \langle \text{Reg} ( A ), \wedge, \sqcup, \neg, 0, 1 \rangle$$

is a Boolean algebra. Now, every homomorphism f : A → B between Heyting algebras restricts to a homomorphism f : Reg ( A ) → Reg ( B ) . Therefore the map Reg: HA → BA can be regarded as a functor, which is exactly the right adjoint functor induced by Kolmogorov's translation (Example 3 4 . ). glyph[squaremultiply]

## 4 . F rom right adjoints to translations

In this section we will work with a fixed non-trivial left adjoint functor F : X → Y between generalized quasi-varieties. Our goal is to construct a contextual translation of glyph[satisfies] X into glyph[satisfies] Y induced by F . We rely on the following easy observation:

Lemma 4 1 . . Let F : X → Y be a non-trivial left adjoint functor between generalized quasi-varieties. The universe of F ( Tm X ( 1 )) is non-empty.

glyph[negationslash]

Now we construct the contextual translation 〈 τ , Q 〉 induced by F : X → Y . By Lemma 4 1 . we know that F ( Tm X ( 1 )) = ˘ . Then we can choose a cardinal k &gt; 0 and a surjective homomorphism p 1 : Tm Y ( k ) →F ( Tm X ( 1 )) . Let Q be the kernel of p and observe that it can be viewed as a set of equations in Eq ( L Y , k ) .

In order to construct the k -translation τ of L X into L Y , consider a cardinal l &gt; 0. Since F preserves copowers and the algebra Tm X ( l ) is the l -th copower of Tm X ( 1 , we know that ) F ( Tm X ( l )) is the l -th copower of F ( Tm X ( 1 )) . Keeping in mind how coproducts look like in prevarieties, we can identify F ( Tm X ( l )) with the quotient of the free algebra Tm Y ( k × l ) with free generators { x i j : i &lt; k , j &lt; l } under the Y -congruence generated by ⋃ j &lt; l Q ( glyph[vector] xj ) where glyph[vector] xj = 〈 x i j : i &lt; k 〉 .

The above construction can be carried out also for l = 0 as follows. Recall that F preserves initial objects, since these are special colimits. Thus we can assume that F ( Tm X ( 0 )) = Tm Y ( 0 . ) Now we have that Tm Y ( 0 ) is exactly the quotient of Tm Y ( k × 0 ) under the Y -congruence generated by the union of zeromany copies of Q , i.e., under the identity relation. Thus we identify F ( Tm X ( l )) with a quotient of Tm Y ( k × l ) for every cardinal l . Accordingly, we denote by pl : Tm Y ( k × l ) →F ( Tm X ( l )) the corresponding canonical map.

Definition 4 2 . . Let l be a cardinal and j ∈ Tm ( L X , l ) . We denote also by j : Tm X ( 1 ) → Tm X ( l ) the unique homomorphism that sends x to j , where x is the free generator of Tm X ( 1 . )

Now, we are ready to construct the k -translation τ of L X into L Y . Consider an n -ary basic operation y ∈ L X . Since p n is surjective and Tm Y ( k ) is ontoprojective in Y , there is a homomorphism

$$\tau ( \psi ) \colon T m _ { \Upsilon } ( \kappa ) \to T m _ { \Upsilon } ( \kappa \times n )$$

that makes the following diagram commute:

GLYPH&lt;15&gt;

GLYPH&lt;15&gt;

GLYPH&lt;11&gt;

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00534v1-figure-2d59720d-807d-4225-996f-8fc2a1c14af0.jpg)

GLYPH&lt;11&gt;

GLYPH&lt;15&gt;

GLYPH&lt;15&gt;

/

/

The map τ ( y ) can be identified with its values on the generators { x i : i &lt; k } of Tm Y ( k ) . In this way it becomes a k -sequence

$$\langle \tau ( \psi ) ( x ^ { i } ) \colon i < \kappa \rangle$$

of terms in variables { x i j : i &lt; k , 1 glyph[lessorequalslant] j glyph[lessorequalslant] n } .

Let τ be the k -translation of L X into L Y obtained by applying this construction to every y ∈ L X . Hence we constructed a pair 〈 τ , Q 〉 , where τ is a k -translation of L X into L Y and Q ⊆ Eq ( L Y , k ) .

Theorem 4 3 . . Let F : X → Y be a non-trivial left adjoint functor between generalized quasi-varieties. The pair 〈 τ , Q 〉 defined above is a non-trivial contextual translation of glyph[satisfies] X into glyph[satisfies] Y .

Proof sketch. Consider a cardinal l . We know that τ can be extended to a function τ ∗ : Tm ( L X , l ) → Tm ( L Y , k × l ) k , where the terms Tm ( L X , l ) and Tm ( L Y , k × l ) are built respectively with variables among { xj : j &lt; l } and { x i j : i &lt; k , j &lt; l } .

Now, consider j ∈ Tm ( L X , l ) . Observe that τ ∗ ( j ) is a k -sequence of terms of Y in variables { x i j : i &lt; k , j &lt; l } . Thus τ ∗ ( j ) can be regarded as a map from the free generators of Tm Y ( k ) to Tm Y ( k × l ) . Since Tm Y ( k ) is a free algebra, this assignment extends uniquely to a homomorphism

$$\tau _ { * } ( \varphi ) \colon T m _ { \Upsilon } ( \kappa ) \to T m _ { \Upsilon } ( \kappa \times \lambda ).$$

Recall that F preserves colimits, since it is left adjoint. Keeping this in mind, it is not difficult to prove the following:

Fact 4 3 1 . . . For every cardinal l and every j ∈ Tm ( L X , l ) , the following diagram commutes:

/

/

GLYPH&lt;15&gt;

$$T m _ { \Upsilon } ( \kappa ) \xrightarrow { \tau _ { * } ( \varphi ) } > T m _ { \Upsilon } ( \kappa \times \lambda ) \\ \pi _ { 1 } \Big \downarrow \bigvee _ { \mathcal { F } ( T m _ { \mathbb { X } } ( 1 ) ) } \Big \downarrow ^ { \pi _ { \lambda } } \mathcal { F } ( T m _ { \mathbb { X } } ( \lambda ) )$$

GLYPH&lt;15&gt;

GLYPH&lt;15&gt;

GLYPH&lt;15&gt;

/

/

Now we turn to prove that 〈 τ , Q 〉 is a contextual translation of glyph[satisfies] X into glyph[satisfies] Y . We begin by showing that 〈 τ , Q 〉 satisfies 1 of Definition 3 2 . . To this end, consider a cardinal l and equations F ∪ { # ≈ d } ⊆ Eq ( L X , l ) such that F glyph[satisfies] X # ≈ d . Define m : = | F | . For the sake of simplicity we identify m with the set F . Then consider the map τ ∗ : Tm ( L X , l ) → Tm ( L Y , k × l ) k . Consider also the free

algebras Tm X ( m ) and Tm Y ( k × m ) with free generators { x a ≈ b : a ≈ b ∈ F } and { x i a ≈ b : i &lt; k a , ≈ b ∈ F } respectively. Then let

$$p _ { l }, p _ { r } \colon T m _ { \chi } ( \mu ) \Rightarrow T m _ { \chi } ( \lambda ) \text{ and } q _ { l }, q _ { r } \colon T m _ { \gamma } ( \kappa \times \mu ) \Rightarrow T m _ { \gamma } ( \kappa \times \lambda )$$

be the homomorphisms defined respectively by the following rules:

$$p _ { l } ( x _ { \alpha \approx \beta } ) \coloneqq \alpha \text{ and } q _ { l } ( x _ { \alpha \approx \beta } ^ { i } ) \coloneqq \tau _ { * } ( \alpha ) ( i )$$

$$p _ { r } ( x _ { \alpha \approx \beta } ) \coloneqq \beta \, \text{and} \, q _ { r } ( x _ { \alpha \approx \beta } ^ { i } ) \coloneqq \tau _ { * } ( \beta ) ( i ).$$

Observe that

$$\pi _ { \lambda } \circ q _ { l } = \mathcal { F } ( p _ { l } ) \circ \pi _ { \mu } \text{ and } \pi _ { \lambda } \circ q _ { r } = \mathcal { F } ( p _ { r } ) \circ \pi _ { \mu }.$$

Now, let f be the X -congruence of Tm X ( l ) generated by F . It is clear that pf is a coequalizer of pl and pr . Since F preserves colimits and pm is surjective, this means that F ( pf ) is also a coequalizer of F ( pl ) ◦ pm and F ( pr ) ◦ pm . Finally, with an application of ( 7 ), we conclude that F ( pf ) is a coequalizer of pl ◦ ql and pl ◦ qr . In particular, this implies that the kernel of F ( pf ) ◦ pl is the Y -congruence of Tm Y ( k × l ) generated by

$$\tau ^ { * } ( \Phi ) \cup \bigcup _ { j < \lambda } \Theta ( \vec { x } _ { j } )$$

where glyph[vector] xj = 〈 x i j : i &lt; k 〉 . Now, recall that F glyph[satisfies] X # ≈ d and, therefore, that 〈 # , d 〉 ∈ f . This means that pf ◦ # = pf ◦ d , where # , d : Tm X ( 1 ) ⇒ Tm X ( l ) . By Fact 4 3 1 . . this implies that

$$\mathcal { F } ( \pi _ { \phi } ) \circ \pi _ { \lambda } \circ \tau _ { * } ( \varepsilon ) = \mathcal { F } ( \pi _ { \phi } ) \circ \pi _ { \lambda } \circ \tau _ { * } ( \delta ).$$

Together with the description of the kernel of F ( pf ) ◦ pl given in ( 8 ), this yields

$$\tau ^ { * } ( \Phi ) \cup \bigcup _ { j < \lambda } \Theta ( \vec { x } _ { j } ) \models _ { Y } \tau ^ { * } ( \varepsilon \approx \delta ).$$

Hence 〈 τ , Q 〉 satisfies 1 of Definition 3 2 . .

To prove that 〈 τ , Q 〉 satisfies condition 2 of the same definition, consider an n -ary operation symbol y ∈ L X and # ≈ d ∈ Q . Fact 4 3 1 . . and the observation that the kernel of p 1 is the Y -congruence of Tm Y ( k ) generated by Q imply that

$$\pi _ { n } ( \varepsilon ( \tau _ { * } ( \psi ) / \vec { x } ) ) = \pi _ { n } ( \delta ( \tau _ { * } ( \psi ) / \vec { x } ) ).$$

Since p n is the kernel of the Y -congruence of Tm Y ( k × n ) generated by Q ( glyph[vector] x 1 ) ∪ · · · ∪ Q ( glyph[vector] xn ) , we conclude that

$$\Theta ( \vec { x } _ { 1 } ) \cup \dots \cup \Theta ( \vec { x } _ { n } ) \models _ { Y } \varepsilon ( \tau _ { * } ( \psi ) / \vec { x } ) \approx \delta ( \tau _ { * } ( \psi ) / \vec { x } ).$$

This establishes that 〈 τ , Q 〉 is a contextual translation of glyph[satisfies] X into glyph[satisfies] Y .

It only remains to prove that

〈

τ

,

Q

〉

is non-trivial. But this is a consequence of the fact that

F

is non-trivial.

glyph[squaremultiply]

As an exemplification of the construction above, we will describe the contextual translation associated with the adjunction between Kleene algebras and bounded distributive lattices.

Example 4 4 . ( Kleene Algebras ) . Let G : DL 01 → KA be the functor described in Example 2 10 . . In [ 10 ] a functor F left adjoint to G is described. Let us briefly recall its behaviour. Given A ∈ KA , we let Pr ( A ) be the Priestley space dual to the bounded lattice reduct of A [ 11 ]. Moreover, we equip it with a map g : Pr ( A ) → Pr ( A ) defined by the rule

↦

$$g ( F ) \longmapsto A \smallsetminus \{ \neg a \, \colon a \in F \}, \, \text{with} \, F \in \Pr ( \mathcal { A } ).$$

Now observe that

$$\Pr ( A ) ^ { + } \coloneqq \{ F \in \Pr ( A ) \, \colon F \subseteq g ( F ) \}$$

is the universe of a Priestley subspace of Pr ( A ) . Keeping this in mind, we let F ( A ) be the bounded distributive lattice dual to Pr ( A ) + . Moreover, given a homomorphism f : A → B in KA , we let F ( f ) : F ( A ) → F ( B ) be the map defined by the rule

↦

$$U \longmapsto \{ F \in \Pr ( B ) ^ { + } \, \colon f ^ { - 1 } ( F ) \in U \}, \, \text{for each} \, U \in \mathcal { F } ( \mathcal { A } ).$$

The map F : KA → DL 01 is the functor left adjoint to G .

Now we turn to describe the contextual translation associated with the adjunction F glyph[turnstileright] G . To this end, observe that the free Kleene algebra Tm KA ( 1 , its image ) F ( Tm KA ( 1 )) in DL 01 and the free bounded distributive lattice Tm DL 01 ( 2 ) are respectively the algebras depicted below.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00534v1-figure-593093e3-b2d5-45e7-9218-f62a2fca429e.jpg)

0

0

Then let p : Tm DL 01 ( 2 ) → F ( Tm KA ( 1 )) be the unique (surjective) homomorphism determined by the assignment p ( x ) = a and p ( y ) = b . Following the general construction described above, we should identify Q with the kernel of p viewed as a set of equations in 2 variables. But the only equation of this kind that is not vacuously satisfied is x ∧ y ≈ 0. Hence we can set without loss of generality Q : = { x ∧ y ≈ 0 } .

The description of τ is more complicated and we will detail it only for the case of negation. First observe that ¬ : Tm KA ( 1 ) → Tm KA ( 1 ) is the unique endomorphism that sends x to ¬ x . Then, applying the definition of F , it is easy to see that F ¬ ( ) is the endomorphism of F ( Tm KA ( 1 )) that behaves as the identity except that it interchanges a and b . Now we have to choose an endomorphism τ ( ¬ ) of Tm DL 01 ( 2 ) such that p ◦ τ ( ¬ ) = F ¬ ( ) ◦ p . It is easy to see that the unique homomorphism τ ( ¬ ) determined by the assignment τ ( ¬ )( x ) = y and τ ( ¬ )( y ) = x fulfils this condition. Hence the translation of ¬ consists of the pair 〈 y x , 〉 . The same idea allows us to extend τ to the other constant and binary basic

symbols of KA as follows: 4

↦

$$x \sqcap y \longmapsto \langle x ^ { 1 }, x ^ { 2 } \rangle \sqcap \langle y ^ { 1 }, y ^ { 2 } \rangle \coloneqq \langle x ^ { 1 } \wedge y ^ { 1 }, x ^ { 2 } \vee y ^ { 2 } \rangle$$

↦

$$x \sqcup y \longmapsto \langle x ^ { 1 }, x ^ { 2 } \rangle \sqcup \langle y ^ { 1 }, y ^ { 2 } \rangle ; = \langle x ^ { 1 } \vee y ^ { 1 }, x ^ { 2 } \wedge y ^ { 2 } \rangle$$

and

↦

$$\neg x \mapsto \neg \langle x ^ { 1 }, x ^ { 2 } \rangle \coloneqq \langle x ^ { 2 }, x ^ { 1 } \rangle \quad 1 \mapsto 1 \coloneqq \langle 1, 0 \rangle \quad 0 \mapsto 0 \coloneqq \langle 0, 1 \rangle.$$

↦

↦

By Theorem 4 3 . the pair 〈 τ , Q 〉 is a contextual translation of glyph[satisfies] KA into glyph[satisfies] DL 01 . glyph[squaremultiply]

## 5 . D ecomposition of right adjoints

In the preceding sections we drew a correspondence between adjunctions and contextual translations. Now we are ready to present the main outcome of this correspondence, namely the observation that every every right adjoint functor between generalized quasi-varieties can be decomposed into a combination of two canonical deformations, i.e the matrix power with (possibly) infinite exponents and the q L construction:

Theorem 5 1 . . Let X and Y be generalized quasi-varieties.

- 1 . For every non-trivial right adjoint G : Y → X there are a generalized quasi-variety K and functors [ k ] : Y → K and q L : K → X (where q is compatible with L in K ) such that G is naturally isomorphic to q L ◦ [ k ] .
- 2 . Every functor of the form q L ◦ [ k ] : Y → X (where q is compatible with L in Y [ k ] ) is a right adjoint.

Proof. 1 . Let F be the functor left adjoint to G and let h , # be the unit and counit of the adjunction respectively. In Theorem 4 3 . we showed that F gives rise to a contextual translation 〈 τ , Q 〉 of glyph[satisfies] X into glyph[satisfies] Y . Then consider the generalized quasivariety K and the right adjoint functors [ k ] : Y → K and q L : K → X associated with 〈 τ , Q 〉 as in Theorem 3 5 . . We will prove that G and the composition q L ◦ [ k ] are naturally isomorphic.

To this end, it will be convenient to work with some substitutes of G and q L ◦ [ k ] . Let ALG X be the category of all algebras of the type of X . Then let G ∗ : Y → ALG X be the functor defined by the rule

↦

↦

$$A & \longmapsto \hom ( T m _ { X } ( 1 ), \mathcal { G } ( A ) ) \\ f & \longmapsto \mathcal { G } ( f ) \circ ( \cdot )$$

for every algebra A and homomorphism f in Y . The operations of the algebra G ∗ ( A ) are defined as follows. Given an n -ary operation y ∈ L X with corresponding arrow y : Tm X ( 1 ) → Tm X ( n ) , we set

$$\psi ^ { \mathcal { G } ^ { * } ( \mathcal { A } ) } ( f _ { 1 }, \dots, f _ { n } ) \coloneqq \langle f _ { 1 }, \dots, f _ { n } \rangle \circ \psi$$

for every f 1 , . . . , f n ∈ G ∗ ( A ) , where 〈 f 1 , . . . , f n 〉 : Tm X ( n ) → G ( A ) is the map induced by the universal property coproduct.

Now observe that the map z A : G ( A ) →G ∗ ( A ) that takes an element a ∈ G ( A ) to the unique arrow f ∈ G ∗ ( A ) such that f ( x ) = a is an isomorphism for every A ∈ Y . It is easy to see that the global map z : G → G ∗ is a natural isomorphism between G G ∗ , : Y → ALG X . As a consequence, we obtain the following:

4 At this stage the reader may find it useful to compare the translation displayed here with the sublanguage L of the matrix power DL 01 that we considered in Example 2 10 . .

Fact 5 1 1 . . . The map G ∗ can be viewed as a functor from Y to X naturally isomorphic to G .

Then we construct our substitute for q L ◦ [ k ] . Consider the functor

$$\hom ( \mathcal { F } ( T m _ { X } ( 1 ) ), \cdot ) \colon Y \to A L G _ { X }.$$

In particular, given A ∈ Y , the operations on hom ( F ( Tm X ( 1 )) , A ) , for short hom ( A ) , are defined as follows:

$$\psi ^ { \hom ( A ) } ( f _ { 1 }, \dots, f _ { n } ) \coloneqq \langle f _ { 1 }, \dots, f _ { n } \rangle \circ \mathcal { F } ( \psi ),$$

for every f 1 , . . . , f n ∈ hom ( A ) , where 〈 f 1 , . . . , f n 〉 : F ( Tm X ( n )) → A is the map induced by the universal property of the coproduct.

Now, given A ∈ Y , we consider the map s A : hom ( A ) → q L ( A [ k ] ) defined by the rule

↦

$$f \longmapsto \langle f \circ \pi _ { 1 } ( x ^ { i } ) \colon i < \kappa \rangle$$

where p 1 : Tm Y ( k ) → F ( Tm X ( 1 )) is the map defined right before Definition 4 2 . . It is not difficult to see that s A is a well-defined isomorphism. Hence the global map s : hom ( F ( Tm X ( 1 )) , · ) → q L ◦ [ k ] is a natural isomorphism between hom ( F ( Tm X ( 1 )) , · ) , q L ◦ [ k ] : Y → ALG X . As a consequence we obtain the following:

Fact 5 1 2 . . . The map hom ( F ( Tm X ( 1 )) , · ) can be viewed as a functor from Y to X naturally isomorphic to q L ◦ [ k ] .

Thanks to Facts 5 1 1 . . and 5 1 2 . . , in order to complete the proof it will be enough to construct a natural isomorphism

$$\mu \colon \mathcal { G } ^ { * } \rightarrow \hom ( \mathcal { F } ( T m _ { X } ( 1 ) ), \cdot ).$$

This is what we do now. For every A ∈ Y , the component m A of the natural transformation m is the following map:

$$\varepsilon _ { A } \circ \mathcal { F } ( \cdot ) \colon \hom ( T m _ { X } ( 1 ), \mathcal { G } ( A ) ) \to \hom ( \mathcal { F } ( T m _ { X } ( 1 ) ), A ).$$

From the hom-set adjunction associated with 〈F G , , # , h 〉 it follows that m A is a bijection. Since F preserves coproducts, we have that m A is a homomorphism. Therefore we conclude that m A is an isomorphism.

Finally, the fact that the global map m satisfies the commutative condition required of natural transformations is witnessed by the hom-set adjunction associated with 〈F G , , # , h 〉 . Hence m is a natural isomorphism as desired.

- 2 . Consider an infinite cardinal l such that U l ( X ) = X and define K : = GQ l ( Y [ k ] ) . Since q is compatible with L in Y [ k ] and the compatibility condition is expressible by a set of generalized quasi-equations each of which is written with finitely many variables, we conclude that q is compatible with L in K too. Moreover, from the fact that q L ( Y [ k ] ) ⊆ X and U l ( X ) = X it follows that the functor q L : K → X is well defined. By Theorems 2 5 . and 2 8 . we know that the maps [ k ] : Y → K and q L : K → X are right adjoint functors. As a consequence their composition q L ◦ [ k ] : Y → X is also a right adjoint. glyph[squaremultiply]

Corollary 5 2 . . Let F : X → Y be a non-trivial left adjoint functor between generalized quasi-varieties and f ∈ Con X Tm X ( l ) . Assume that the right adjoint of F decomposes as q L ◦ [ k ] . Then

$$\mathcal { F } ( T m _ { X } ( \lambda ) / \phi ) \cong T m _ { Y } ( \kappa \times \lambda ) / C g _ { Y } ( \tau ^ { * } ( \phi ) \cup \bigcup _ { j < \lambda } \Theta ( \vec { x } _ { j } ) ).$$

Remark 5 3 . . The description of right adjoints given in Theorem 5 1 . can be seen as a purely algebraic formulation of the classical description of adjunctions in categories with a free object, which can be traced back at least to [ 14 ].

To see why, suppose that F : X ←→ Y : G is an adjunction F glyph[turnstileright] G , and that X and Y are prevarieties. We proceed to sketch the general description of G ( A ) in [ 14 ]. Since X contains free algebras, the universe of the algebra G ( A ) can be identified with hom X ( Tm X ( 1 , ) G ( A )) . By the hom-set adjunction induced by F glyph[turnstileright] G , we know that

$$\hom _ { \chi } ( T m _ { \chi } ( 1 ), \mathcal { G } ( A ) ) \cong \hom _ { Y } ( \mathcal { F } ( T m _ { \chi } ( 1 ) ), A ).$$

Since Y contains arbitrarily large free algebras, the algebra F ( Tm X ( 1 )) can be expressed as a suitable quotient of a free algebra, i.e. F ( Tm X ( 1 )) = ∼ Tm Y ( k ) / q for some cardinal k and some congruence q . Thus the universe of G ( A ) can be identified with hom Y ( Tm Y ( k ) / , q A ) . More in general G ( A ) can be identified with the set hom Y ( Tm Y ( k ) / , q A ) , equipped with a suitable algebraic structure. This provides a full arrow-theoretic description of the algebra G ( A ) as

$$\mathcal { G } ( A ) \cong \hom _ { \Upsilon } ( T m _ { \Upsilon } ( \kappa ) / \theta, A ).$$

The main contribution of the present work is to recognize that the algebra hom Y ( Tm Y ( k ) / , q A ) in the above display can be given a very transparent description in terms of matrix powers and compatible equations. glyph[squaremultiply]

Until now we showed that every right adjoint functor G : Y → X between generalized quasi-varieties induces a contextual translation 〈 τ , q 〉 of glyph[satisfies] X into glyph[satisfies] Y , and vice-versa. In general, contextual translations 〈 τ , q 〉 are infinite objects, in the sense that τ is a map that translates terms into possibly infinite sequences of terms and q is a possibly infinite set of equations. It is therefore natural to ask under which conditions these contextual translations can be finitized. The next lemma provides an answer in the case where X and Y are quasi-varieties.

Lemma 5 4 . . Let F : X ←→ Y : G be an adjunction F glyph[turnstileright] G between quasi-varieties. The following conditions are equivalent:

- (i) F preserves finitely presentable algebras.
- (ii) F ( Tm X ( 1 )) is finitely presentable.
- (iii) G preserves directed colimits.
- (iv) G can be decomposed as q L ◦ [ k ] with both k and q finite.

Proof. The equivalence between (i) and (iii) is well known, and is a consequence of the fact that the finitely X -presentable algebras are exactly the algebras A ∈ X for which the functor hom ( A , · ) : A → Set preserves directed colimits (see Lemma 1 1 . ). Part (i) ⇒ (ii) is trivial and part (iv) ⇒ (i) is a consequence of Corollary 5 2 . .

(ii) ⇒ (iv): Assume that F ( Tm X ( 1 )) is finitely presentable. Then there are n ∈ w and a compact Y -congruence Q such that F ( Tm X ( 1 )) = Tm Y ( n ) / Q . Now, Q is generated by a finite set F ⊆ Q . This means that G can be decomposed as q L ◦ [ n ] , where q : = { glyph[vector] # ≈ glyph[vector] d : 〈 # , d 〉 ∈ F } and glyph[vector] # , glyph[vector] d are sequences of length n . glyph[squaremultiply]

The next example shows that there are adjunctions between quasi-varieties that do not meet the equivalent conditions of Lemma 5 4 . . In other words, it shows that there are contextual translations between finitary relative equational consequences that cannot be finitized.

Example 5 5 . ( Ring Hom-Functor ) . Consider a generalized quasi-variety X and an algebra A ∈ X . Then let hom ( A , · ) : X → Set be the functor defined by the following rule:

↦

↦

$$B & \longmapsto \hom ( A, B ) \\ f \colon B \to C & \longmapsto f \circ ( \cdot ) \colon \hom ( A, B ) \to \hom ( A, C ).$$

The functor hom ( A , · ) has a left adjoint F : Set → X defined as follows. Given a set I , the algebra F ( I ) is the copower of A indexed by I . Moreover, given a function f : I → J between sets, we let F ( f ) : F ( I ) → F ( J ) be the map 〈 p f ( ) i : i ∈ I 〉 induced by the universal propery of the coproduct F ( I ) , where { pj : A →F ( J ) : j ∈ J } are the maps associated with the copower F ( J ) .

Now consider the special case where X is the variety R of commutative rings with unit. Then consider the functor F that is left adjoint to hom ( Q , · ) : R → Set , where Q is the ring of rational numbers. First observe that F does not preserve finitely generated algebras. Observe that finitely generated algebras are exactly the quotients of the finitely presentable ones. Since F preserves surjective homomorphisms, we conclude that it does not preserve finitely presentable algebras. glyph[squaremultiply]

Acknowledgements. I am grateful to James Raftery for raising the question of whether category equivalence may provide a notion of equivalence between propositional logics. Thanks are due also to Josep Maria Font, Ramon Jansana and Juan Climent, who read carefully many versions of this work and provided several useful comments that improved the readability of this paper. I wish to thank also Jiˇ´ ı r Velebil and Matˇ ej Dost´l for some useful observations on categorical universal a algebra. Finally, thanks are due to the anonymous referee for providing additional references and useful remarks, which helped to improve the presentation. This research was supported by the joint project of Austrian Science Fund (FWF) I1897-N25 and Czech Science Foundation (GACR) 15-34650L

## R eferences

- [ 1 ] J. Ad´ amek. How many variables does a quasivariety need? Algebra Universalis , ( 27 ): 44 48 -, 1990 .
- [ 2 ] J. Ad´ amek, H. Herrlich, and G. E. Strecker. Abstract and Concrete Categories: The Joy of Cats. Reprints in Theory and Applications of Categories , ( 17 ): 1 507 -(electronic), 2006 . Reprint of the 1990 original [Wiley, New York; MR 1051419 ].
- [ 3 ] J. Ad´ amek and J. Rosick´ y. Locally presentable and accessible categories , volume 189 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1994 .
- [ 4 ] J. Ad´ amek, J. Rosick´, and E. M. Vitale. y Algebraic Theories: A Categorical Introduction to General Algebra . Cambridge Tracts in Mathematics. Cambridge University Press, 2011 .
- [ 5 ] S. Awodey. Category theory , volume 49 of Oxford Logic Guides . The Clarendon Press Oxford University Press, New York, 2006 .
- [ 6 ] C. Bergman. Universal Algebra: Fundamentals and Selected Topics . Chapman &amp;; Hall Pure and Applied Mathematics. Chapman and Hall/CRC, 2011 .
- [ 7 ] W. J. Blok and B. J´nsson. Equivalence of consequence operations. o Studia Logica , 83 1 ( -3 ): 91 -110 , 2006 .
- [ 8 ] W. J. Blok and D. Pigozzi. Algebraizable logics , volume 396 of Mem. Amer. Math. Soc. A.M.S., Providence, January 1989 .
- [ 9 ] S. Burris and H. P. Sankappanavar. A course in Universal Algebra . Available in internet https: //www.math.uwaterloo.ca/ ~ snburris/htdocs/ualg.html , the millennium edition, 2012 .
- [ 10 ] R. Cignoli. The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Universalis , 23 3 ( ): 262 -292 , 1986 .
- [ 11 ] B. A. Davey and H. A. Priestley. Introduction to lattices and order . Cambridge University Press, New York, second edition, 2002 .

- [ 12 ] J. J. Dukarm. Morita equivalence of algebraic theories. Colloquium Mathematicum , 55 11 : -17 , 1988 .
- [ 13 ] M. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift f¨r Mathematische u Logik und Grundlagen der Mathematik , 5 250 : -264 , 1959 .
- [ 14 ] P. Freyd. Algebra valued functors in general and tensor products in particular. Colloq. Math. , 14 89 : -106 , 1966 .
- [ 15 ] K. G¨ odel. Eine Interpretation des intuitionistischen Aussagenkalk¨ls. u ches Kolloquiums , 4 39 : -40 , 1933 .
- Ergebnisse eines mathematis-
- [ 16 ] V. A. Gorbunov. Algebraic theory of quasivarieties . Siberian School of Algebra and Logic. Consultants Bureau, New York, 1998 . Translated from the Russian.
- [ 17 ] J. A. Kalman. Lattices with involution. Transactions of the Americal Mathematical Society , 87 485 : -491 , 1958 .
- [ 18 ] A. N. Kolmogorov. Sur le principe de tertium non datur. Mat. Sbornik , 32 646 : -667 , 1925 .
- [ 19 ] M. Kracht. Tools and techniques in modal logic , volume 142 of Studies in Logic and the Foundations of Mathematics . North-Holland Publishing Co., Amsterdam, 1999 .
- [ 20 ] M. Kracht. Modal consequence relations , chapter 8 of the Handbook of Modal Logic. Elsevier Science Inc., New York, NY, USA, 2006 .
- [ 21 ] S. Mac Lane. Categories for the working mathematician , volume 5 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1998 .
- [ 22 ] L. L. Maksimova and V. V. Rybakov. A lattice of normal modal logics. Algebra and Logic , 13 105 : -122 , 1974 .
- [ 23 ] A. I. Mal'cev. The metamathematics of algebraic systems, collected papers: 1936 1967 -. Amsterdam, North-Holland Pub. Co., 1971 .
- [ 24 ] R. McKenzie. An algebraic version of categorical equivalence for varieties and more general algebraic categories. In Logic and algebra (Pontignano, 1994 ) , volume 180 of Lecture Notes in Pure and Appl. Math. , pages 211 -243 . Dekker, New York, 1996 .
- [ 25 ] R. N. McKenzie, G. F. McNulty, and W. F. Taylor. Algebras, lattices, varieties. Vol. I . The Wadsworth &amp; Brooks/Cole Mathematics Series. Wadsworth &amp; Brooks/Cole Advanced Books &amp; Software, Monterey, CA, 1987 .
- [ 26 ] J. C. C. McKinsey and A. Tarski. Some theorems about the sentential calculi of Lewis and Heyting. The Journal of Symbolic Logic , 13 1 : -15 , 1948 .
- [ 27 ] H.-E. Porst. Equivalence for varieties in general and for BOOL in particular. Algebra Universalis , 43 157 : -186 , 2000 .
- [ 28 ] H.-E. Porst. Generalized Morita Theories. Notices of the South African Mathematical Society , 32 4 : -16 , 2001 .

E-mail address : moraschini@cs.cas.cz

I nstitute of C omputer S cience of the C zech A cademy of S cience , P rague , C zech R epublic
T. Moraschini
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.