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