ON THE HEYTING ALGEBRA OBJECTS IN TOPOS
Wang Xi-juan, He Wei · Journal of Mathematics · 2011
In this article,we investigate some properties of internal Heyting algebra objects in a topos.By the method of adjoint in category,we prove that an internal Heyting algebra object is an internal distributive lattice.