ハイティング代数
Heyting algebra morphisms.