半Nelson代数的范畴等价
A Categorial Equivalence for semi-Nelson algebras
摘要：
给出了一个与半Nelson代数等价的范畴。这个范畴中的对象是由一个半海廷代数和它的一个滤子组成的对。滤子必须包含半海廷代数的所有稠密元素，并满足一个附加的技术条件。我们还证明了在对偶异态半Nelson代数的情况下，滤子是不必要的，并且范畴等价于对偶异态半Heyting代数的范畴。
英文摘要：
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters must contain all the dense elements of the semi-Heyting algebra and satisfy an additional technical condition. We also show that in the case of dually hemimorphic semi-Nelson algebras, the filters are not necessary and the category is equivalent to that of dually hemimorphic semi-Heyting algebras.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
