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