Tolong jelaskan mengenai Sebagai adjoin dari Kuantifikasi eksistensial

Dalam teori kategori dan teori topoi elementer, pembilang eksistensial dapat dipahami sebagai adjoin kiri dari funktor antara himpunan daya, fungsi citra invers dari sebuah fungsi antara himpunan; demikian pula, kuantifikasi universal adalah adjoin kanan.