Coba jelasin Definisi alternatif dari Aljabar Heyting dong

Aljabar Heyting  adalah kekisi batas yang memiliki semua objek eksponensial.

Kekisi  sebagai salah satu kategori dimana

pertemuan , adalah produk. Kondisi eksponensial berarti bahwa untuk setiap objek  dan  dalam  sebuah  eksponensial unik sebagai objek dalam .

Implikasi Heyting (ditulis juga  atau  untuk menghindari kebingungan seperti penggunaan  untuk menunjukkan fungtor) sebagai eksponensial:  adalah notasi alternatif untuk . Dari definisi eksponensial kita memiliki implikasi () adalah kanan adjoin untuk pertemuan (). Adjungsi ini dapat ditulis sebagai  atau lebih lengkapnya sebagai: