## 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.

**Contact**

jadeedenstarmaster@gmail.com

# What's New

Here's my matzoh ball soup recipe

I just defended my thesis:

Composing Behaviors of Networks, PhD Thesis, 2021.

This summer I taught a course on differential equations.

This spring I started a research community for minorities in applied category theory.

# Published Papers

The Open Algebraic Path Problem,

*LIPIcs, Volume 211, CALCO 2021.*

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.

Petri nets based on Lawvere theories.

*Mathematical Structures in Computer Science*, Cambridge University Press (2020).

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.

Translating and evolving: towards a model of language change in DisCoCat, with Tai-Danae Bradley, Martha Lewis, and Brad Theilman,

*Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences*, EPTCS, 2018, pp. 50--61.

*Joint winner of the **ACT 2018 best paper prize*

# Preprints

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

# Talks

How to Compose Shortest Paths and More // SYCO 10 Dec 19 2022 // slides

How to Compose Shortest Paths // Structure Meets Power Workshop 2022

How to Compose Shortest Paths // MSP 101 May 19th 2022 // video

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.

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*

Machine Learning for the Working Category Theorist // Applied Category Theory Seminar Winter 2019 // slides

# Workshops and Service

Local organizer and co-PC Chair for Applied Category Theory 2022

Editorial Review for ACT2020, ACT2019, SYCO8, Journal of the Association for Computing Machinery

I attended the Applied Category Theory Adjoint School in May 2018 and also the Applied Category Theory Workshop that accompanied it. In 2020 I was a TA for this school.

I attended the Second Statebox Summit where I helped develop compositional techniques for the Statebox language.