pipette
ENEnglish

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

En palabras de los autores

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.

Resultado principalEl resumen no menciona limitaciones.

Apareció: martes, 22 de septiembre. arXiv. Preprint, todavía sin revisión por pares.

Comentario de los autores: 21 pages