I am currently a principal investigator at GLAIVE. Before that I was 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

 Twitter

What's New

• I started a research lab to study AI Safety using categorical programming.

• I am an executive editor of the journal Compositionality

• How to Compose Shortest Paths

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

Video abstract

•  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

• Why is Homology So Powerful? 

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:

• Euler's Method as a Free Category 

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

• Matrices Are Enriched Profunctors 

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

• Marked Petri Nets via the Grothendieck Construction

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

• Generalized Petri Nets

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

• Linguistics Using Category Theory

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

• Open Petri Nets

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

• Week 1

• Week 2 

• Week 3 

• Week 4 

• Week 5

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

• Dynamical Systems with Category Theory? Yes!

• Let's Grothendieck Dynamical Systems

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.

• 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

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

• Open Petri Nets // QPL 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.