Observations on the variety of equationally linear Heyting semilattices
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