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 (Jul 24 2022 at 15:51):Public stream created by Jean-Baptiste Vienney. Description:
Doing research together
Jean-Baptiste Vienney (Jul 24 2022 at 15:59):@Christian Williams wrote this on pratice: our work -> thoughts on sharing ideas:
I think many people on here are interested in the idea of public research, i.e. open collaboration and knowledge sharing. we need better infrastructure for this; Joshua Meyers and I want to help in development. we'll start a conversation sometime soon.
Jean-Baptiste Vienney (Jul 24 2022 at 16:01):I agree with this idea and want to propose a first research suggestion.
Jean-Baptiste Vienney (Jul 24 2022 at 16:02):Go to the associate topic if you're interested.
Jean-Baptiste Vienney (Jul 24 2022 at 18:18):I don’t really know how works the subscription to the stream.
Jean-Baptiste Vienney (Jul 24 2022 at 18:22):It would be great to build something together as it’s done for open source softwares. I'm bored of working alone.
Jean-Baptiste Vienney (Jul 24 2022 at 18:24):But please don’t use this without mentioning all the participants. An eventual paper should mention all the participants as coauthors (if by chance somebody else than me is interested by this suggestion).
David Michael Roberts (Jul 24 2022 at 23:58):We (the circle of people around and including John B, Urs, David Corfield, Todd, Toby, etc) did have the nLab/nForum for that, but over time it has ossified and also turned more into Urs' plaything, since he has been the one adding stuff unceasingly. I agree it's not the best setup. But the nLab is still a reasonable place to write stuff down, if I may say so.
David Michael Roberts (Jul 24 2022 at 23:58):I think it's a great idea in any case, however it is done.
Notification Bot (Oct 20 2023 at 15:16):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:28):Matteo Capucci (he/him) changed the posting permissions for this stream:
Notification Bot (Oct 31 2023 at 11:29):Matteo Capucci (he/him) renamed stream practice: public research to deprecated: public research.