Which rewriting methods are supported?

The skill supports Double Pushout (DPO) for safe deletion, Single Pushout (SPO) for greedy deletion, and Sesqui-Pushout (SqPO) for complex cloning and deletion operations.

How do I define a rewrite rule?

Rules are defined using a spanning of morphisms (L ← K → R), where L is the pattern to match, R is the replacement, and K represents the interface preserved during the transformation.

What are ACSets in the context of this skill?

Attributed C-Sets (ACSets) are a categorical generalization of graphs and relational databases, allowing for structured data modeling where relationships are strictly defined by schemas.

Does this skill require external dependencies?

Yes, it requires the py-acsets Python package and a Julia environment with AlgebraicRewriting.jl installed to handle the underlying categorical computations.

Py-ACSets Graph Rewriting

Name: Py-ACSets Graph Rewriting
Author: plurigrid

byplurigrid

•

Data Science & ML

Performs complex algebraic graph rewriting over Attributed C-Sets (ACSets) using DPO, SPO, and SqPO methodologies.

This skill provides a Python-based interface to AlgebraicRewriting.jl, enabling mathematically rigorous graph transformations within Claude Code. It allows users to define schemas, create ACSets, and apply sophisticated rewrite rules—including Double Pushout (DPO) for safe deletions and Sesqui-Pushout (SqPO) for cloning—making it an essential tool for developers working on topological modeling, rule-based systems, and category theory applications.

Key Features

01Comprehensive ACSet schema and morphism management

02Automatic edge contraction and vertex duplication rule generation

03Supports DPO, SPO, and SqPO rewriting protocols

048 GitHub stars

05Python bridge to high-performance Julia-based algebraic rewriting

06Deterministic visualization support with integrated Gay.jl coloring

Use Cases

01Implementing rule-based logic for graph-based game engines or simulations

02Modeling complex chemical or biological systems as topological 'chemputers'

03Automating structural refactoring in large-scale relational data models

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add plurigrid/asi py-acsets-rewriting

For use in Claude.ai and ChatGPT

Download Skill