You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
সায়ন্তন রায় (Apr 25 2020 at 05:32):Does anyone know whether there exist any "categorical version of deduction theorem"?
Gershom (Apr 25 2020 at 06:40):Lambek proved such a thing as part of his exploration of the connection between cartesian closed categories and intuitionistic logic. That result in particular can be found (which much related, as well as generalizations) in the early section of Lambek and Scott's "Introduction to Higher-Order Categorical Logic"
eric brunner (Apr 25 2020 at 14:51):gershom, sayantan roy, a (<10) group began reading lambek & scott on monday last. (see FOM for the "would anyone like to read ..." note). we picked the 5pm (pdt) monday time, and initially zoom as the platform.