Grothendieck like duality for Heyting algebras