论文标题
半纳尔逊代数的类别等效性
A Categorial Equivalence for semi-Nelson algebras
论文作者
论文摘要
我们提出的类别相当于半纳尔逊代数的类别。此类别中的对象是由半透明代数及其过滤器之一组成的对。过滤器必须包含半透明代数的所有密集元素，并满足额外的技术条件。我们还表明，在双态半态半纳尔逊代数的情况下，过滤器不是必需的，并且类别等同于双重半态半摩托半透明的代数。
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.
