Coba jelasin Sifat dari Aljabar Heyting dong

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.