Skip to content
#

compact-closed

Star

Here is 1 public repository matching this topic...

tsondru / catgraph

Star 1

Cospans, spans, hypergraph rewriting (DPO), multiway evolution, discrete curvature, Petri nets, Frobenius algebras, wiring diagrams, E_n operads, compact closed categories, and lattice gauge theory in Rust — applied category theory for compositional systems, with SurrealDB persistence

rust category-theory petri-net hypergraph spans wiring-diagram discrete-curvature surrealdb operad gauge-theory rustworkx cospans dpo-rewriting multiway-systems frobenius-algebra compact-closed
  • Updated Apr 8, 2026
  • Rust

Improve this page

Add a description, image, and links to the compact-closed topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the compact-closed topic, visit your repo's landing page and select "manage topics."

Learn more