Category theory mailing list
There are several mailing lists related to category theory that you can join to stay updated on the latest developments and discussions in the field. Here are a few:
- Category Theory Mailing List: This is a general mailing list for discussing category theory and related topics. You can subscribe by sending an email to [email protected] with the subject "subscribe".
- Homotopy Type Theory Mailing List: This mailing list is focused on the intersection of category theory and homotopy type theory. You can subscribe by sending an email to [email protected] with the subject "subscribe".
- Higher Category Theory Mailing List: This mailing list is focused on higher category theory, which is a subfield of category theory that deals with higher-dimensional structures. You can subscribe by sending an email to [email protected] with the subject "subscribe".
- Category Theory and Computer Science Mailing List: This mailing list is focused on the applications of category theory to computer science, including topics like programming languages, type theory, and formal verification. You can subscribe by sending an email to [email protected] with the subject "subscribe".
- n-Category Café Mailing List: This mailing list is associated with the popular blog "n-Category Café", which is a blog about category theory and related topics. You can subscribe by sending an email to [email protected] with the subject "subscribe".
These mailing lists are a great way to stay connected with other researchers and enthusiasts in the field of category theory, and to learn about the latest developments and discussions in the area.