Category Theory
Zulip Server
Archive

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.


Stream: learning: reading & references

Topic: Suggested Readings


view this post on Zulip 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.

view this post on Zulip Tim Hosgood (Aug 11 2024 at 15:01):

shun the frumious bandersnatch

view this post on Zulip 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!