On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices
复制标题
DOI：
10.1007/s11225-022-10026-1
复制
发表时间：
2022-11
期刊：
影响因子：
0.7
通讯作者：
Jun Tao Wang;Yanhong She;Pengfei He;NaNa Ma
中科院分区：
文献类型：
--
作者：
Jun Tao Wang;Yanhong She;Pengfei He;NaNa Ma
对象是满足条件的c-微分剩余分配格的范畴是对象是剩余分配格的范畴在Castiglioni等人（Stud Log 90：93-124，2008）构造的范畴等价下的像。本文引入了弱一元剩余格，并研究了它的一些子簇。特别地，我们使用函子来联系对象是弱一元剩余分配格的范畴和对象是由的对象和中心弱全称量词形成的对的范畴。
The category, whose objects are c-differential residuated distributive lattices satisfying the condition, is the image of the category, whose objects are residuated distributive lattices, under the categorical equivalencethat is constructed in Castiglioni et al. (Stud Log 90:93–124, 2008). In this paper, we introduce weak monadic residuated lattices and study some of their subvarieties. In particular, we use the functorto relate the category, whose objects are weak monadic residuated distributive lattices, and the category, whose objects are pairs formed by an object ofand a center weak universal quantifier.