The category of implicative algebras and realizability

Walter Ferrer, Octavio Malherbe

In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the…