Agent Skills: algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
UncategorizedID: majiayu000/claude-skill-registry/algebraic-rewriting
11819
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.