Category Theory
Zulip Server
Archive

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: event: ACT22

Topic: unofficial conference dinner


view this post on Zulip Joe Moeller (Jul 20 2022 at 13:11):

Is anybody who didn’t register for the official conference dinner interested in getting dinner tonight?

view this post on Zulip Amar Hadzihasanovic (Jul 20 2022 at 13:18):

I am!

view this post on Zulip Amar Hadzihasanovic (Jul 20 2022 at 13:18):

:pizza: or :spaghetti:?

view this post on Zulip Joe Moeller (Jul 20 2022 at 13:28):

Tbh, I’ve had one of those each night since Sunday.

view this post on Zulip Malin Altenmüller (Jul 20 2022 at 14:18):

If you want some non-pizza-or-pasta suggestions (obvs very incomplete):

view this post on Zulip Joe Moeller (Jul 20 2022 at 14:40):

I’m open to most of those.