Brendan Fong and John Baez have also been very influential in the Categorical Data Structures topic. Many of these papers[cite] provide the foundations for the ones presented in this work. Most offorts have been in the development of AlgebraicJulia.
XGI and HyperNetX are oriented to network analysis. They provide more or less the same features but share no interfaces. Both use NetworkX as a base layer to build higher-order interactions upon.
We believe collaboration will be helpful for all communities.
To make this production-ready we integrate instead of rewriting, with a simple shell program that does graph rewriting.
I will use DisCoPy to develop a UNIX shell program that reads and outputs streams of YAML docs.
Explore Smalltalk design principles.
Code generation, transpilation, compilation, execution. Explore Programs as Diagrams paper.
Given the maturity of the Julia ecosystem I think this can be a great implementation advantage.
https://github.com/AlgebraicJulia/Catlab.jl
https://github.com/AlgebraicJulia/py-acsets
https://github.com/akissinger/chyp
Chyp is an interactive theorem prover UI. It works very well, is fast and allows reading and writing .chyp files. One can write such files outside of Chyp but there is no support. The only way to render a string diagram is using the UI. This library also implements Cospans of Hypergraphs.
https://github.com/pnnl/HyperNetX HyperNetX is the most focused on barebones hypergraphs. This project has excellent Matplotlib and web-based editors. It was funded in 2012 by a government grant in the area of Network Analysis. Unfortunately this library doesn't implement directed hypergraphs.
XGI is a framework with broad scope. It has several network analysis tools based on its hypergraph implementation. It was funded in 2021 by a government grant in the area of Network Analysis. It doesn't support serialization for dihypergraphs.
This project evaluated hypergraph tooling in the Python ecosystem. We found two large scientific communities at this crossing. The Network Analysis community has two solid higher-order hypergraph libraries. The Categorical community has younger and more academical options oriented to string diagrams and rewriting.
We found a lack of standards that could allow any two libraries to work with each other. We solved this with the YAML hyperspec leveraging widely adopted technology. Considering the research in diagrams as programs we see potential in YAML becoming a full programming language.