广义拟簇间互作的一个逻辑和代数刻画
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
摘要：
我们提出了一个逻辑和代数描述的右伴随函子之间的广义拟簇，灵感来自工作的McKenzie的范畴等价。这一结果是通过发展一个对应的概念之间的附加和一个新的概念之间的翻译相对等式的后果。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
