59 citations · 78 across the 9 of their papers we have counts for
11 papers
Proceedings Fifth International Conference on Applied Category Theory
Jade Master, Martha Lewis
The Fifth International Conference on Applied Category Theory took place at the University of Strathclyde in Glasgow, Scotland on 18-22 July 2022. This conference follows the previ…
Beyond Initial Algebras and Final Coalgebras
Ezra Schoen, Jade Master, Clemens Kupke
We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed…
How to Compose Shortest Paths
Jade Master
The composition problem for shortest paths asks the following: given shortest paths on weighted graphs M and N which share a common boundary, find the shortest paths on their union…
Composing Behaviors of Networks
Jade Master
This thesis aims to develop a compositional theory for the operational semantics of networks. The networks considered are described by either internal or enriched graphs. In the in…
Categories of Nets
John C. Baez, Fabrizio Genovese, Jade Master +1
We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we…
The Open Algebraic Path Problem
Jade Master
The algebraic path problem provides a general setting for shortest path algorithms in optimization and computer science. This work extends the algebraic path problem to networks eq…