Observations on the variety of equationally linear Heyting semilattices
In the authors' words
In previous work, we analysed a number of categorical properties, of interest in the context of Janelidze-M\'arki-Tholen semi-abelian categories, for the variety of Heyting semilattices. In this paper, we focus on the subvariety of equationally linear Heyting semilattices. Our main objective is to show that, unlike , this category is algebraically coherent. We furthermore prove that it is neither locally algebraically cartesian closed nor cosmash associative.
Main resultThe abstract does not state a limitation.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 21 pages