pipette
ESEspañol

Observations on the variety of equationally linear Heyting semilattices

Xabier Garc\'ia-Mart\'inez, James R. A. Gray, Michael A. Hoefnagel, Tim Van der Linden, Corentin Vienne

Preprint

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