algebraic-rewriting
✓Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
Installation
SKILL.md
AlgebraicRewriting.jl is a Julia library for performing category-theoretic rewrites over C-Sets and other Catlab.jl data structures.
| DPO | Double Pushout | Safe deletion (no dangling edges) | | SPO | Single Pushout | Greedy deletion | | SqPO | Sesqui-Pushout | Cloning + deletion |
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures. Source: plurigrid/asi.
Facts (cite-ready)
Stable fields and commands for AI/search citations.
- Install command
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting- Source
- plurigrid/asi
- Category
- {}Data Analysis
- Verified
- ✓
- First Seen
- 2026-02-01
- Updated
- 2026-02-18
Quick answers
What is algebraic-rewriting?
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures. Source: plurigrid/asi.
How do I install algebraic-rewriting?
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor
Where is the source repository?
https://github.com/plurigrid/asi
Details
- Category
- {}Data Analysis
- Source
- skills.sh
- First Seen
- 2026-02-01