On the free Heyting algebra extension of a Hilbert algebra

J. L. Castiglioni, H. J. San Martín

In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor fac…