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.
Stream created by Matteo Capucci (he/him).
@Beppe Metere here
So, for whoever is attending in person, let's start assessing the most important problem: Where do we go for beers tonight?
Top, I'll arrive around 22:30 so I'll join after dinner tho :smile:
Great! I was advised by a friend to try out this place. I will arrived in Genova around 19:00 but I have to check in the hotel before joining.
I hope I can join, but I think I'll be busy tonight.
In case, please drink one beer for me!
That's pretty close to where I'm staying!
I'm going to take a nap but will check back later and join you all there :smile:
I will arrive later due to train issues. I won't be there before 9
9pm works for me too :)
Myself and @Morgan Rogers (he/him) will be joining too hopefully!
9pm it is then
Still another train issue. I will join when/if I can :sweat_smile:
Nicolas Blanco said:
Still another train issue. I will join when/if I can :sweat_smile:
Lol, welcome to Italy :stuck_out_tongue:
We have a longstanding tradition of train times being "indicative" at best. Old people are nostalgically reminescent of Mussolini's time when "at least trains would arrive on time". Clearly it was absolutely false and the result of propaganda, trains were late all the time back then too.
@everyone Scurrerie is closed, suggestions for another place?
It's me and @Chad Nester here
For drinking & eating & fun we could text on https://t.me/joinchat/1c88dKyYD94yNzE0
Haha. To be fair the issues started in France where a train never arrived, it was cancelled without any announcement...
Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Matteo Capucci (he/him) renamed stream conference: CT20->21 to event: CT20->21.