algebraic-rewriting
✓使用 C-Set 的 DPO、SPO 和 SqPO 推出进行类别理论图重写。 acset 数据结构的声明式转换。
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):
使用 C-Set 的 DPO、SPO 和 SqPO 推出进行类别理论图重写。 acset 数据结构的声明式转换。 来源：plurigrid/asi。
可引用信息
为搜索与 AI 引用准备的稳定字段与命令。
- 安装命令
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting- 分类
- {}数据分析
- 认证
- ✓
- 收录时间
- 2026-02-01
- 更新时间
- 2026-02-18
快速解答
什么是 algebraic-rewriting？
使用 C-Set 的 DPO、SPO 和 SqPO 推出进行类别理论图重写。 acset 数据结构的声明式转换。 来源：plurigrid/asi。
如何安装 algebraic-rewriting？
打开你的终端或命令行工具（如 Terminal、iTerm、Windows Terminal 等） 复制并运行以下命令：npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting 安装完成后，技能将自动配置到你的 AI 编程环境中，可以在 Claude Code 或 Cursor 中使用
这个 Skill 的源码在哪？
https://github.com/plurigrid/asi
详情
- 分类
- {}数据分析
- 来源
- skills.sh
- 收录时间
- 2026-02-01