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.
Valeria de Paiva (Apr 28 2022 at 16:10):This stream is for people who want to talk about category theory in computing, using dialectica constructions... especially Valeria de Paiva's students at the American Mathematical Society mathematical research community on applied category theory, but also anyone else who's interested.
Valeria de Paiva (Apr 28 2022 at 16:34):dear all, sorry for the delay in creating this stream!
I have subscribed everyone in the MRC that the system allowed me to, so I expect that Colin Bloomfield hasn't got access to zulip.
We had our first meeting this last Tuesday, just to introduce ourselves. This coming Tuesday, 05/03/22, at 8 am PST I want to have 10 min to discuss my talk Dialectica for Friends and Jeremie will lead with a 20 min talk on how he sees the relationship between games and dialectica constructions. Please try to watch and have questions!
Looking forward to seeing you!
Jan Rooduijn (Jun 07 2022 at 19:44):Hi everyone! Thanks a lot for the nice week, it was great to meet you all. I hope you had a smooth trip home, whether that was to Rochester or to Glasgow. Jeremy, Colin and I will continue to work on the game stuff and will try to report our progress here on Zullip every now and then. Until next time!
Charlotte Aten (Jun 07 2022 at 19:49):For sure, it was a really great time and I look forward to seeing your progress as well as sharing ours on the Petri net verification project. Maybe we can all have a Zoom debrief at some point once people get settled back in at home?
Valeria de Paiva (Jun 07 2022 at 19:50):I would love a debrief session @Charlotte Aten ! I don't know what exactly you guys decided and I'd love to!
Charlotte Aten (Jun 07 2022 at 19:55):Great! Once I'm not technically at work I can put up a when2meet if no one else does first so we can find a good time. Talk more soon! :)
Charlotte Aten (Jun 08 2022 at 03:21):https://www.when2meet.com/?15869337-ixmcB
I made the above when2meet for next week (June 13-17) from 8am to 8pm California time. Despite making this myself I won't fill it out yet as my schedule remains quite flexible at the moment, so I will do my best to keep whatever time people settle on open.
Charlotte Aten (Jun 09 2022 at 21:56):Charlotte Aten said:
https://www.when2meet.com/?15869337-ixmcB
I made the above when2meet for next week (June 13-17) from 8am to 8pm California time. Despite making this myself I won't fill it out yet as my schedule remains quite flexible at the moment, so I will do my best to keep whatever time people settle on open.
We appear to be converging to Thursday, June 16, at 12pm Pacific time as a possible date. Does this work for people?
Valeria de Paiva (Jun 09 2022 at 22:12):Thanks @Charlotte Aten I now have a meeting at 1pm Pacific time, but 12 pm I can still make it.
Charlotte Aten (Jun 10 2022 at 00:07):Sounds good @Valeria de Paiva ! Does 12pm Pacific time on Thursday, June 16, work for everyone else as well?
Nelson Niu (Jun 10 2022 at 00:08):@Charlotte Aten oops, I forgot when I filled that out that the Poly subgroup had scheduled a meeting among ourselves for exactly that time (I updated my schedule to reflect this). I’m noticing 11am pacific that same day also works for all of us though, maybe that would work?
Valeria de Paiva (Jun 10 2022 at 00:11):With a few minutes grace, it works. Thursday is Topos Colloquium, 10--11 am.
Charlotte Aten (Jun 10 2022 at 00:17):@Nelson Niu Sure, 11am Pacific time should work for me as well. I just have to make sure to defend it now haha.
Matteo Capucci (he/him) (Jun 10 2022 at 09:58):Hey, sorry I miss these messages
Matteo Capucci (he/him) (Jun 10 2022 at 09:59):I put my availabilities in the when2meet
Matteo Capucci (he/him) (Jun 10 2022 at 10:01):Charlotte Aten said:
Sounds good Valeria de Paiva ! Does 12pm Pacific time on Thursday, June 16, work for everyone else as well?
I can make it for June 16th, 12pm PST :thumbs_up:
Matteo Capucci (he/him) (Jun 10 2022 at 10:01):Charlotte Aten said:
Nelson Niu Sure, 11am Pacific time should work for me as well. I just have to make sure to defend it now haha.
11am even better :smiley: