TY - RPRT TI - Categorical-algebraic aspects of Heyting semilattices AU - Xabier García-Martínez AU - James R. A. Gray AU - Michael A. Hoefnagel AU - Tim Van der Linden AU - Corentin Vienne PY - 2025 DO - 10.1016/j.apal.2026.103823 UR - https://arxiv.org/abs/2508.11250 ID - 2508.11250 ER -