Subject: categories: relationship between existential/universal quantifiers and adjoints??

From: Galchin Vasili <[email-masked]>
Date: Thu, 15 Jul 2004 09:44:56 -0700 (PDT)

Hello Cat Community,

    I would like a clear exposition of the relationship between
quantifiers and their corresponding adjoints (so I can understand this
relationship). In particular, I would to understand how Lawvere came to
this insight. Which book, publication. etc. will best help me to
understand this very important relationship?

Regards, Bill Halchin