2 papers
math.CT2026
Nice exact categories are coexact
James Richard Andrew Gray
Several important types of categories have been shown to be both exact and coexact (in the sense of Barr). The first type consists of abelian categories, which due to their self-du…
math.CT2025
Categorical-algebraic aspects of Heyting semilattices
Xabier GarcÃa-MartÃnez, James R. A. Gray, Michael A. Hoefnagel +2
This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We…