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.
Xuanrui Qi (Feb 20 2023 at 16:50):Hi all! Can't find a better stream for this question, but I've never find a good source on currently open problems in synthetic differential geometry. Looking for both specific problems and more open-ended problems.
Xuanrui Qi (Feb 22 2023 at 05:33):Hi! Can admins perhaps move this to general: mathematics? It's probably more fitting there
David Michael Roberts (Feb 22 2023 at 10:37):See also https://ncatlab.org/nlab/show/synthetic+differential+topology though it's not exactly the same, especially the book, if possible.
Xuanrui Qi (Feb 22 2023 at 18:25):Thanks for the pointer. Wow, didn't know there's already a book on this!