Dialectica Categories over Heyting Algebras

Colin Bloomfield, Peter Jipsen, Valeria de Paiva

Categorification---the process of constructing a categorical model of a piece of mathematics---often identifies a common abstraction that connects formerly unrelated but known stru…