Observations on the variety of equationally linear Heyting semilattices

Xabier García-Martínez, James R. A. Gray, Michael A. Hoefnagel, Tim Van der Linden, Corentin Vienne

arXivarxiv/2609.24325Sep 21, 2026math.CTscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.24325
curl -X POST /api/v1/records/arxiv/2609.24325/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.24325/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'