Semi-abelian by Design: Johnstone Algebras Unifying Implication and Division

David Forsman

Johnstone demonstrated that Heyting semilattices form a semi-abelian category via a specific triple of terms. Inspired by this work, we introduce \emph{Johnstone algebras} or J-alg…