algebraic-rewriting
✓C-Set の DPO、SPO、および SqPO プッシュアウトを使用したカテゴリ理論によるグラフの書き換え。 aset データ構造の宣言的変換。
インストール
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 プッシュアウトを使用したカテゴリ理論によるグラフの書き換え。 aset データ構造の宣言的変換。 ソース: 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 プッシュアウトを使用したカテゴリ理論によるグラフの書き換え。 aset データ構造の宣言的変換。 ソース: plurigrid/asi。
algebraic-rewriting のインストール方法は？
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code や Cursor で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/plurigrid/asi
詳細
- カテゴリ
- {}データ分析
- ソース
- skills.sh
- 初回登録
- 2026-02-01