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.
Matteo Capucci (he/him) (Apr 26 2022 at 08:40):Sorry to intervene with such pedantic issues, but since Valeria de Paiva also wanted to have a topic like this I thought of opening an ad-hoc stream here: #AMS MRC on applied category theory
Would it be ok to move this stream there @John Baez ?
John Baez (Apr 26 2022 at 21:49):Matteo Capucci (he/him) said:
Sorry to intervene with such pedantic issues, but since Valeria de Paiva also wanted to have a topic like this I thought of opening an ad-hoc stream here: #AMS MRC on applied category theory
Would it be ok to move this stream there John Baez ?
I'd like a whole stream on chemistry so my 14 students can have lots of "topics" for discussing chemistry without having to sift through Valeria's comments, which will be about a different topic: Dialectica categories. We already have 2 such topics.
It's too bad we can't do streams, substreams, subsubstreams etc.
Matteo Capucci (he/him) (Apr 27 2022 at 07:33):yeah it's a bit unfortunate
Matteo Capucci (he/him) (Apr 27 2022 at 07:33):let's keep it this way then
Georgios Bakirtzis (May 03 2022 at 01:08):@Matteo Capucci (he/him) Can I get access to Valerias stream?
Jason Erbele (May 03 2022 at 02:52):@Georgios Bakirtzis, Valeria's stream appears to be at #practice: Dialectica. (I found it by looking at the recently added streams, as announced by the Notification Bot in #general.)
Georgios Bakirtzis (May 03 2022 at 02:56):Oh gotcha the one above was private that's why I got confused thanks!