Jade Edenstar Master

I am currently a research associate at the Mathematically Structured Programming Group working on the coalgebraic foundations of quantitative formal verification. I have recently completed my Ph.D at University of California Riverside studying categorical Petri nets and network theory with John Baez. From 2012 to 2016 I completed a B.S. in Applied Math and a B.S. in Physics at Rensselaer Polytechnic Institute. I'm friendly! drop me a note if you need anything. Check out the videos in the talk section of this site for an introduction to my work.




Published Papers

  • Categories of Nets, with John Baez, Fabrizio Genovese and Michael Shulman, 36th Annual ACM/IEEE Symposium on Logic in Computer Science LICS, 2021.

  • Open Petri nets, with John Baez, Mathematical Structures in Computer Science, 30 (2020) 314--341.

  • String diagrams for assembly planning, with Evan Patterson, Shahin Yousfi, and Arquimedes Canedo, Diagrammatic Representation and Inference: 11th International Conference, Springer, 2020, pp. 167--183.

Video abstract

Joint winner of the ACT 2018 best paper prize


Abstract: My short answer to this question is that homology is powerful because it computes invariants of higher categories. In this article we show how this true by taking a leisurely tour of the connection between category theory and homological algebra.

Blog Posts

Here is a blog post I wrote about representing Euler's method using free categories:

Here is a blog post I wrote about a formal connection between linear algebra and enriched category theory:

Here is a blog post I wrote about marked Petri nets:

Here is a blog post I wrote about my work on generalizations of Petri nets:

Here is a blog post I wrote about Linguistics in Category Theory:

Here is a blog post that John Baez wrote about our work on open Petri nets:

I am writing a series of blog posts about the Grothendieck construction called Let's Grothendieck Everything In Sight:

I've also been writing about about dynamical systems and category theory:


  • The Joy of Free Categories // Dalhousie Mathematics and Statistics Colloquim October 4th 2021

  • Free Category Semantics // MSP 101 September 23rd 2021 // video // whiteboard

  • The Universal Property of the Algebraic Path Problem // Em-Cats August 25th 2021 // slides // youtube

  • The Universal Property of the Algebraic Path Problem // Categorical Late Lunch July 28th 2021 // selected notes

  • Open Petri Nets and Their Categories of Processes // Seminario de CategorĂ­as UNAM 2020 // youtube

  • The Open Algebraic Path Problem // UCR Categories Seminar 2020.

  • Open Petri Nets Keynote // ACT2020 // slides

  • The Open Algebraic Path Problem // MIT Categories Seminar 2020 // youtube

  • Open Petri Nets and the Reachability Problem // Math Connections 2018 and Graduate Student Seminar // slides

  • Generalized Petri Nets // SYCO4 and Math Connections 2019 // slides

Awarded Best Student Presentation at SYCO4

Workshops and Service