Category-theoretic graph structures in Rust — strict Fong & Spivak hypergraph categories (cospans, props, Frobenius), with applied, magnitude, physics, and DL extensions, plus a term-language frontend (print/parse/eval/typed builder)
rustdslpropscategory-theorygraph-theoryhypergraphterm-rewritingmagnitudeapplied-category-theorycompositionalitysmith-normal-formstring-diagramssignal-flow-graphsmonoidal-categoriescospanfrobenius-algebraenriched-categoriescategorical-deep-learning
-
Updated
Sep 4, 2026 - Rust