@DavidTanzer Feel free to re-use any discussion I've been part of. I like your idea about setting up the separate Lecture discussions, using the pattern. I can help with this, probably this weekend. Let me know what needs to be done, via messaging o…
Another way to capture Bartosz' presentation of his Blueprints and Models example, is to recreate it using Graphviz. Here's an initial version of this. Discussion and suggestions would be welcome.
digraph X { rankdir = LR
// there are three categ…
@DavidTanzer Have started Programming with Categories - Lecture 8 Discussion .
@FabricioOlivetti Good idea about having a repo. I would suggest starting out here on the azimuthproject site to keep everything in one place for now, and as simple as p…
Do other people also learn best by examples? In the first part of lecture 8, Bartosz presents a simple example based very loosely on vertebrate anatomy. It could be a good exercise to develop this example into a more complete Haskell program, while …
re: @DavidTanzer How to keep the course going?
I am thinking about the way forward, both personally and with this course, and am writing this to help tease out my somewhat vague ideas.
I'm a software developer and have felt for some time that Cate…
I have roughly the same question as @Mitesh.
Following David Tanzer's line of reasoning, I would say that Singleton set generalizes to (becomes) source object.
I now have two objects, and a morphism, which are necessary components of a category, a…
Thanks @JakeGillberg. The key observation that I was missing is that any of the four sets of morphisms might be the empty set. There's no actual arrow corresponding to the pair (2,1).
My intuition on what is a probe derives from my own background with programming and graphs. To me it sounds like an index into an array, or a pointer to a single object in some collection of objects. At different times, the index or pointer or arrow…
In lecture 2 (about time 5:30), Brendan introduces a notion of Shape.
I like this idea. Each Shape (object, pair, arrow, isomorphism) suggests the essence of a basic idea in Category Theory.
An essence is not formally defined. I can play with it in …
Hi,
I'm a software developer watching the videos from Canada. I try to use concepts from Math and Category Theory in development projects. This might be a good time and opportunity to finally learn some Haskell. I hope to write a few comments as th…
nad discusses RDF, mimirix, and Xholon in comment 49. Xholon can work with the Java-based Jena software to produce several semantic web formats. These include RDF (.rdf), Turtle (.ttl), Notation3 (.n3), and N-Triples (.nt) formats. I've exported the…
Dave asked
How does the Xholon engine process the rate constants, and how does it sequence the transitions?
Xholon uses time steps. The transitions are all stored in a queue called QueueTransitions. Each time step the queue randomizes the orde…
John suggested that it would be nice for each example to
include a little discussion in English saying what this example illustrates.
I've enabled the feature that allows this, and I've added a brief test description for the two versions of th…
I've installed an initial version of a service that runs and returns results from a variety of Petri net, reaction network, and other models I've written. This includes the Feinberg model I describe in my blog article. Each Petri net produces and di…
I haven't heard back yet from my email about getting access to the Azimuth server, which it turns out is probably just as well. Instead, I've put a test version of the Java application on my own website, with some examples, mostly Petri nets and rea…
I now have a Java web archive (.war) file that I'd like to deploy to Tomcat on the Azimuth server. It has a bunch of Petri net apps including one simple climate model. These will execute on the server and return a page of information including a lin…
Re the discussion on bistability, and periodicity.
I found some Systems Biology Markup Language (SBML) models dealing with oscillators, bistable switches, and such. Antimony supports SBML models and their site includes several examples. Googling fo…
NetLogo includes support for the System Dynamics approach. It's free (open-source?) software. I've used NetLogo a lot in the past, but I have NOT used the System Dynamics module.
David: Could you say a few words about what array programming syntax is, or point to a URL? There's a wikipedia article on Array programming. It mentions APL which I played around with a long time ago. Is that article a good background source for wh…
I've made numerous edits to the blog article Blog - connections: Petri nets and beyond (part 1). I've included suggestions by John Baez and some material from Part 21 of the network theory series. I included some specific suggestions by David Tanzer…
Along with Dave, I've also wondered about periodic behavior with Petri nets. Does anyone know anything about this?
Dave: For part 1, I'm using five closely related line charts, 3 showing results for standard Petri net kinetics, and two for mass act…
Jim: I'm just starting to think about this so I don't know any details yet except that it would require running a Java app on the server. I would need Tomcat or an equivalent Java servlet container. I'll have to do some planning and write some servl…
I just posted a suggestion for a possible use for the Azimuth web server here. Does this sound like something the server could do? It would involve running a Java servlet (Java Virtual Machine), and maybe also Python.
One solution for running code would be to use the Azimuth web server in conjunction with custom HTML pages. This would work for Java, Python and other languages, for applications that straight-forwardly turn inputs into outputs.
This could for exam…