{"id":"arxiv/2609.24325","url":"https://arxiv.org/abs/2609.24325","tags":["math.CT"],"score":0,"title":"Observations on the variety of equationally linear Heyting semilattices","domain":"math.CT","source":"arxiv","authors":["Xabier García-Martínez","James R. A. Gray","Michael A. Hoefnagel","Tim Van der Linden","Corentin Vienne"],"reviews":0,"subject":"math.CT","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}