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.
Ivan Di Liberti (Aug 11 2024 at 07:26):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.
Tim Hosgood (Aug 11 2024 at 15:01):shun the frumious bandersnatch
Matteo Capucci (he/him) (Aug 18 2024 at 14:01):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!