关于等式线性 Heyting 半格的簇的观察
Observations on the variety of equationally linear Heyting semilattices
浏览论文内容
中文总结 AI 辅助
本文研究等式线性 Heyting 半格簇的范畴性质，证明其代数余 coherent，但非局部代数笛卡尔闭且非余 smash 结合。
中文摘要 AI 辅助
在先前的工作中，我们分析了 Heyting 半格簇 $\mathsf{HSLat}$ 的若干范畴性质，这些性质在 Janelidze-Márki-Tholen 半阿贝尔范畴的背景下具有重要意义。本文聚焦于等式线性 Heyting 半格的子簇 $\mathsf{ELHSLat}$。我们的主要目标是证明，与 $\mathsf{HSLat}$ 不同，该范畴是代数余 coherent 的。此外，我们证明它既不是局部代数笛卡尔闭的，也不是余 smash 结合的。
英文摘要
In previous work, we analysed a number of categorical properties, of interest in the context of Janelidze-Márki-Tholen semi-abelian categories, for the variety $\mathsf{HSLat}$ of Heyting semilattices. In this paper, we focus on the subvariety $\mathsf{ELHSLat}$ of equationally linear Heyting semilattices. Our main objective is to show that, unlike $\mathsf{HSLat}$, this category is algebraically coherent. We furthermore prove that it is neither locally algebraically cartesian closed nor cosmash associative.
发表机构
- CITMAga & Universidade de Santiago de Compostela（圣地亚哥-德孔波斯特拉大学）
- Stellenbosch University（斯泰伦博斯大学）
- Institut de Recherche en Mathématique et Physique, Université catholique de Louvain（天主教鲁汶大学）
- Vrije Universiteit Brussel（布鲁塞尔自由大学）
- Università degli Studi di Milano（米兰大学）
机构由 AI 辅助整理，请以论文原文为准。
