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.
Fabrizio Genovese (Apr 28 2021 at 10:17):Ok guys, now I really think that we should organize a workshop about this, even if just virtually
Fabrizio Genovese (Apr 28 2021 at 10:19):This thread is super interesting but monstrously long and difficult to navigate, if we could have a couple of days where people present their approaches and then some free sessions with open discussion that would be immensely beneficial I believe.
Fabrizio Genovese (Apr 28 2021 at 10:19):(I'm assuming everyone has negative free time at the moment, so I understand the difficulties of such a proposal)
fosco (Apr 28 2021 at 11:12):Fabrizio Genovese said:
Ok guys, now I really think that we should organize a workshop about this, even if just virtually
I was about to propose it myself. Maybe we can start to collect names for people who can devote of their free time on organising this?
fosco (Apr 28 2021 at 11:12):I certainly want to listen; not much to add.
Matteo Capucci (he/him) (Apr 28 2021 at 11:36):I forked the thread so we can keep the discussions cleaner
Matteo Capucci (he/him) (Apr 28 2021 at 11:37):I'd be eager to be involved into organizing this, maybe even speak if I can be very speculative about what I say
Amar Hadzihasanovic (Apr 28 2021 at 12:04):While the idea of an intensive in-person workshop on this excites me, an intensive virtual workshop seems very stressful. Since virtual is the only near-term possibility, may I suggest to structure it as a series of (weekly?) meetings instead?
We could try to make it really goal-oriented, starting from the graph reachability problem. We use the meetings to exchange notes and phrase questions to think about before next time.
Matteo Capucci (he/him) (Apr 28 2021 at 12:04)::thinking:
Matteo Capucci (he/him) (Apr 28 2021 at 12:05):Indeed, I didn't fully internalized the implications of 'virtual'. It seems we are a stage where a room full of people and whiteboards which convene to a room for talks half a day is the right thing
Amar Hadzihasanovic (Apr 28 2021 at 12:10):We've been doing this sort of half-reading-half-research groups in Tallinn (in fact @fosco spoke at one this morning) and I bet they would work even better for something where people have a precise question in mind that they want to answer.
Fabrizio Genovese (Apr 28 2021 at 12:27):Works for me!
Joachim Kock (Apr 28 2021 at 15:19):I am interested in participating and learning more about this.
Joachim Kock (Apr 28 2021 at 15:20):I agree that multi-hour events are tiresome, but spreading it out creates more time fragmentation. There are pros and cons of both formats.
Joe Moeller (Apr 28 2021 at 15:20):I'll also note my interest. :smile:
Morgan Rogers (he/him) (Apr 28 2021 at 15:47):Count me in, especially if it ends up being pushed into the future a little bit (eg after October I will have exponentially more time)
Georgios Bakirtzis (Apr 28 2021 at 16:22):I am interested as well (to all things emergence tbh)
John Baez (Apr 28 2021 at 16:35):I will have more time after my classes end (permanently) at the end of June.
John Baez (Apr 28 2021 at 16:36):Sometime I'd like to write something about homology and laxators. After that I could talk about it!
Martti Karvonen (Apr 28 2021 at 17:47):I'm intrerested in participating as well, although I probably don't have anything to say atm
Jade Master (Apr 28 2021 at 21:45):I want to chat about this stuff as well but I do indeed have negative free time :)
Eigil Rischel (May 06 2021 at 12:41):Count me in for whatever format
Robin Piedeleu (May 07 2021 at 08:04):I'd also be interested, but not sure I have much more to contribute than the couple of remarks I made in the original thread.
Chetan Vuppulury (May 07 2021 at 14:54):I would also like to listen to what people have to say