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.