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.
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.
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
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.
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:
How to Compose Shortest Paths // Structure Meets Power Workshop 2022
The Joy of Free Categories // Dalhousie Mathematics and Statistics Colloquim October 4th 2021
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
Awarded Best Student Presentation at SYCO4
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 Second Statebox Summit where I helped develop compositional techniques for the Statebox language.