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

Author

Repository

majiayu000License: MIT

11819

pnpm dlx add-skill https://github.com/majiayu000/claude-skill-registry/algebraic-rewriting

Skill Files

Browse the full folder contents for algebraic-rewriting.

Loading file tree…

Select a file to preview its contents.