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 6: Jade Master et al.'s talk


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

Hello all! This is the thread of discussion for the talk of Jade Master and John Baez, "Open Petri Nets".
Date and time: Monday July 6, 20:00 UTC.
Zoom meeting: https://mit.zoom.us/j/7055345747
YouTube live stream: https://www.youtube.com/watch?v=nEmPJVjLrOI&list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q

view this post on Zulip Jade Master (Jul 05 2020 at 18:24):

Hi. Here are my slides. Let me know if you have any comments or questions :) Slides_for_Open_Petri_Nets1.pdf

view this post on Zulip Jade Master (Jul 05 2020 at 18:26):

You may also want to check out our paper Open Petri Nets which this talk is based on.

view this post on Zulip Jade Master (Jul 05 2020 at 18:28):

Some other relevant work that I will mention briefly are these two papers:
The Open Algebraic Path Problem
Generalized Petri Nets

view this post on Zulip Bob Haugen (Jul 05 2020 at 19:57):

Jade Master said:

Hi. Here are my slides. Let me know if you have any comments or questions :) Slides_for_Open_Petri_Nets1.pdf

Those are great slides! The transit route examples are beautifully clear! Thank you!

view this post on Zulip Yuri de Wit (Jul 05 2020 at 21:34):

Jade Master said:

Hi. Here are my slides. Let me know if you have any comments or questions :) Slides_for_Open_Petri_Nets1.pdf

Thank you! I am looking forward to your presentation

view this post on Zulip Paolo Perrone (Jul 06 2020 at 19:30):

Hello all! We start again in 30 minutes.

view this post on Zulip Paolo Perrone (Jul 06 2020 at 20:01):

(just started)

view this post on Zulip Jade Master (Jul 06 2020 at 20:44):

Hi. Sorry I didn't get to answer many questions. I'll probably be able to answer them more effectively on here.

view this post on Zulip James Fairbanks (Jul 06 2020 at 20:44):

Hi Jade, is there an accessible description of the construction of the "mixing it up" functor somewhere?

view this post on Zulip Paolo Perrone (Jul 06 2020 at 20:45):

Jade, if you want, you can record a video of your talk, which we can then upload.

view this post on Zulip Paolo Perrone (Jul 06 2020 at 20:46):

(maybe you heard this already)

view this post on Zulip Jade Master (Jul 06 2020 at 21:03):

@James Fairbanks I'm not sure if I know the most accesible resource...but I learned this from @Mike Shulman
here

view this post on Zulip Jade Master (Jul 06 2020 at 21:04):

Thanks Paolo. I'll think about it.

view this post on Zulip Jade Master (Jul 06 2020 at 21:04):

and get back to you soon.

view this post on Zulip Paolo Perrone (Jul 06 2020 at 21:05):

Sure. (If you need help with making the video, I'm there too.)