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: deprecated: Dialectica

Topic: meeting tomorrow?


view this post on Zulip Valeria de Paiva (Jun 15 2022 at 22:27):

hi @Charlotte Aten did you manage to get a consensus for meeting tomorrow? Can you or Jeremie send a link, please? Otherwise I can send one, if we have quorum. Thanks!

view this post on Zulip Charlotte Aten (Jun 15 2022 at 23:56):

Valeria de Paiva said:

hi Charlotte Aten did you manage to get a consensus for meeting tomorrow? Can you or Jeremie send a link, please? Otherwise I can send one, if we have quorum. Thanks!

I believe the consensus was tomorrow (Thursday, June 16) at 11am Pacific time. I created a meeting at https://rochester.zoom.us/j/96305264877 but if Jérémie wants to create a different one in order to record to Yale's system instead then that works too.

view this post on Zulip Valeria de Paiva (Jun 16 2022 at 00:52):

Great! your zoom is fine, I guess I missed the message with the link, thanks!

view this post on Zulip Matteo Capucci (he/him) (Jun 16 2022 at 12:08):

:+1:🏻

view this post on Zulip Bruno Gavranović (Jun 16 2022 at 18:01):

I'll be a few minutes late, apologies!

view this post on Zulip Valeria de Paiva (Jun 16 2022 at 21:27):

Thanks for a great meeting and for letting me know what happened in the Beaver Hollow week!

view this post on Zulip Charlotte Aten (Jun 16 2022 at 21:32):

For sure, it was really great getting to reconnect! Thanks @Nelson Niu for volunteering to organize the meeting later this year, I'm looking forward to it.

view this post on Zulip Nelson Niu (Jun 17 2022 at 22:19):

Yes—look out for an email/message here with a Google form to fill out to gather preliminary interest on this! I’ll give a few different weeks between mid August and mid September as options, and I’ll also ask if you have any Bay Area connections we could try to hit up in case we won’t have enough space at Topos for this