Saya mau tau Sifat dari Aljabar Heyting

Peta identitas  dari aljabar Heyting ke sendiri adalah morfisme, dan gabungan  dari setiap dua morfisme f dan g adalah morfisme. Oleh karena itu aljabar Heyting sebagai bentuk kategori.