## Jade Edenstar Master

I am currently a software engineer working on the finance backend for HSS ProService. Before that I was a research associate at the Mathematically Structured Programming Group working on the coalgebraic foundations of quantitative formal verification. Before that I 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

I am an executive editor of the journal Compositionality

Here's my matzoh ball soup recipe (sorry no measurements)

I defended my thesis:

Composing Behaviors of Networks, PhD Thesis, 2021.

I taught a course on differential equations.

I've been formalizing enriched category theory in Idris2:

Can Enriched Category Theory Compute?

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

I make computer generated art, here's something I made with my brother Julian Master:

# 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

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