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.
John Baez (May 09 2022 at 19:15):Hi! I'd like us AMS MRC chemistry folks - as many as can make it - to meet this Thursday, May 12, at noon Pacific Time.
John Baez (May 09 2022 at 19:15):Last time I explained the basics of how to get a dynamical system from a Petri net with rates; this time we can go a bit further with that and also talk more about projects.
Sam Tenka (May 19 2022 at 20:12):@Layla shall we video meet at 9 pm Sudan time (3 pm US eastern, 12 pm US western) this coming Tuesday, to learn a bit about how to write our own Algebraic Petri program?
John Baez (May 20 2022 at 05:55):I've asked Sophie if she can meet you then.
John Baez (May 22 2022 at 19:49):As you've heard, @Sam Tenka and @Layla, Sophie can't meet then... sorry! But she can meet an hour before my Thursday meeting: 2 pm Eastern Time.
Layla (May 23 2022 at 22:44):Thank you John for all your efforts and energy. Have been trying to just run the same code from last time but I got the following errors
Screenshot-from-2022-05-23-17-38-35.png Screenshot-from-2022-05-23-17-38-21.png Screenshot-from-2022-05-23-15-25-13.png
Evan Patterson (May 23 2022 at 23:04):Hi Layla, try replacing using LabelledPetriNet with using AlgebraicPetri. The keyword using is used to load packages. In this case, the package is AlgebraicPetri and LabelledPetriNet is a specific data type provided by the package.
John Baez (May 23 2022 at 23:38):Thanks, Evan!
Evan and Sophie know how this software works - and maybe other people here? Not me, alas. But you should just ask questions, @Layla, and I'll try to make sure they get answered.
Evan Patterson (May 24 2022 at 17:43):Yep, and Kris also knows how it works.
Sam Tenka (May 26 2022 at 17:49):@Evan Patterson i'm eager to meet with @Layla and @Sophie Libkind (pinging you rn instead of them because you're active on zulip rn) and am hoping to do some last-minute preparation so as not to waste their time. I've installed Julia and I'm wondering how or where-to-learn-how to get set up with AlgebraicPetri as well. Might you point me the way?
Evan Patterson (May 26 2022 at 17:51):The short answer is that you install AlgebraicPetri the same way as any other Julia package, so once you learn that, you'll be in a good shape.
Sam Tenka (May 26 2022 at 17:58):Danke, will google!