Agent Skills: algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
UncategorizedID: plurigrid/asi/algebraic-rewriting
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for algebraic-rewriting.
Loading file tree…
Select a file to preview its contents.