Cospans, spans, hypergraph rewriting (DPO), multiway evolution, discrete curvature, Petri nets, Frobenius algebras, wiring diagrams, and E_n operads in Rust — applied category theory for compositional systems, with SurrealDB persistence
rust category-theory petri-net hypergraph spans discrete-curvature surrealdb operad gauge-theory rustworkx cospans dpo-rewriting multiway-systems
-
Updated
Apr 7, 2026 - Rust