Saya mau tau Fungtor dan kuantor dari Himpunan kuasa

Dalam teori kategori dan teori topoi elementer,kuantor semesta dapat dipahami sebagai adjoin kanan fungtor di antara himpunan kuasa, fungtor citra invers dari fungsi di antara himpunan, sedangkan kuantifikasi eksistensial dapat dipahami sebagai adjoin kiri fungtor di antara himpunan kuasa.