(MultiDi)Graph Morphism Example Generator
-
Updated
May 15, 2020 - Haskell
#
adhesive-categories
Here are 2 public repositories matching this topic...
AIΩN Foundations Paper II – WARP Graphs: Canonical State Evolution and Deterministic Worldlines
concurrency provenance category-theory warp confluence research-paper aion operational-semantics graph-rewriting determinism graph-transformation adhesive-categories dpoi double-pushout multiway-systems deterministic-replay aion-foundations warp-graphs event-structures typed-graphs
-
Updated
Dec 15, 2025 - TeX
Improve this page
Add a description, image, and links to the adhesive-categories topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the adhesive-categories topic, visit your repo's landing page and select "manage topics."