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.
Keyao Peng (May 20 2021 at 08:34):After some preparation, I start to organize this working group. See more on website
We are open to everyone joining.
Now I made a recent schedule of Introduction. But we still need to decide on a long-term plan. So feel free to comment here or our discord.
fosco (May 20 2021 at 10:14):Cool! Is the focus on physics or on cohesive toposes?
Keyao Peng (May 20 2021 at 15:27):I personally more care about cohesive topos since I don't know much about physics. However, I would glad to learn some physics if there are people with physics backgrounds joining.
Chetan Vuppulury (May 20 2021 at 21:52):I do have physics background, but it don't really understand the work. That's what I'm hoping to get from this group
fosco (May 23 2021 at 08:04):I don't understand two things: when is the first meeting and about what topic? And, what should I do if I want to contribute with a talk, considering that I can only talk about topos theory, and that's already wishful thinking? :grinning:
Chetan Vuppulury (May 23 2021 at 11:36):It's not completely decided yet
Chetan Vuppulury (May 23 2021 at 11:37):Still need to figure out when people are free, and how exactly we are going to proceed. It's being discussed in the discord!
Chetan Vuppulury (May 23 2021 at 11:38):And regarding talks, I think topos theory would be great. I believe the present plan is to power through a short bunch of talks on topos theory, HoTT and geometry. But that isn't final yet
Peiyuan Zhu (Jun 09 2022 at 17:35):Hi all, I wish someone would be interested in discussing this with me at this point.