cospan

Here are 3 public repositories matching this topic...

Cobord / Hypergraph

Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids

monoid petri-nets span hypergraph symmetric-monoidal-categories operad monoidal-categories frobenius-algebras cospan temperley-lieb brauer en-algebra

Updated May 21, 2025
Rust

sustia-llc / catgraph

Star

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)

rust dsl props category-theory graph-theory hypergraph term-rewriting magnitude applied-category-theory compositionality smith-normal-form string-diagrams signal-flow-graphs monoidal-categories cospan frobenius-algebra enriched-categories categorical-deep-learning

Updated Sep 23, 2026
Rust

tsondru / irreducible

Star

Computational irreducibility as functoriality (Gorard arXiv:2301.04690) — Turing machines, cellular automata, hypergraph rewriting, Fong-Spivak Frobenius verification in Rust, built on catgraph

rust cellular-automata functor category-theory turing-machine hypergraph string-rewriting frobenius cobordism cospan wolfram-physics computational-irreducibility gorard catgraph fong-spivak

Updated Sep 23, 2026
Rust

Add this topic to your repo

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

Learn more