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.
Notification Bot (Mar 12 2021 at 01:53):Stream created by Joshua Meyers.
Joshua Meyers (Mar 12 2021 at 01:55):Can one of the @moderators please rename this stream to "theory: analysis"?
Joshua Meyers (Mar 12 2021 at 01:56):I realize "differential topology" is too specific, given that there aren't many applications of CT to analysis yet.
Notification Bot (Mar 12 2021 at 01:56):Fabrizio Genovese renamed stream theory: differential topology to theory: analysis.
Joshua Meyers (Mar 12 2021 at 01:56):Thanks!
Fabrizio Genovese (Mar 12 2021 at 01:56)::wink:
John Baez (Mar 12 2021 at 03:07):All the differential topologists who don't like analysis: :cry:
Joshua Meyers (Mar 12 2021 at 03:45):Once there are more people talking about applying CT to analytic sort of stuff, we can separate into more streams, but for now, differential topology will be considered analysis :'(
Notification Bot (Oct 20 2023 at 15:17):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:19):Matteo Capucci (he/him) changed the description for this stream.
No description.
Deprecated, use #theory: mathematics instead.
Notification Bot (Oct 31 2023 at 11:19):Matteo Capucci (he/him) renamed stream theory: analysis to deprecated: analysis.