Heyting algebra
Heyting algebra morphisms.