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: ACT20

Topic: July 7: Daniel Cicala's talk


view this post on Zulip Paolo Perrone (Jul 02 2020 at 02:14):

Hello all! This is the thread of discussion for the talk of Daniel Cicala, "Rewriting Structured Cospans".
Date and time: Tuesday July 7, 21:35 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=5Rs_7ZCH1Wc&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

view this post on Zulip Paolo Perrone (Jul 07 2020 at 21:25):

10 minutes!

view this post on Zulip Evan Patterson (Jul 08 2020 at 00:18):

I think the talks at the end of the day get less comments because everyone is exhausted, but thanks for a really interesting talk! It's great to have a general formalism for rewriting that covers lots of useful open systems. For my own benefit and others', the relevant paper looks to be arXiv:2001.09029 and the PhD thesis is arXiv:1906.05443. If there any other resources I should know about, please tell me.

view this post on Zulip John Baez (Jul 08 2020 at 00:28):

Those are the ones!

view this post on Zulip Eran Meir (Jul 08 2020 at 01:30):

Thanks for the interesting talk! In trying to hammer my intuition of string rewriting onto graph rewriting, I wonder if somehow characterizing the grammar/language may give us some idea about the causal structure of the network it's rewriting/generating?

view this post on Zulip Paolo Perrone (Jul 08 2020 at 02:57):

Here's the video!
https://www.youtube.com/watch?v=iY5Ch9j1Qn8&list=PLCOXjXDLt3pYot9VNdLlZqGajHyZUywdI