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.
A while ago I started writing a page of suggested readings on my website. They mostly focus on Logic and Category Theory. Maybe someone could be interested.
Here is the link.
shun the frumious bandersnatch
I love this sentence:
we will call logic the culture that emerged in continuity with the so called crisis of foundations (of mathematics) at the end of the 19th century
Regardless of whether this is a good definition or not, I love the fact you define logic to be a culture. So true!