algebraic-rewriting
✓Kategorietheoretisches Umschreiben von Diagrammen mit DPO-, SPO- und SqPO-Pushouts für C-Sets. Deklarative Transformation von Asset-Datenstrukturen.
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):
Kategorietheoretisches Umschreiben von Diagrammen mit DPO-, SPO- und SqPO-Pushouts für C-Sets. Deklarative Transformation von Asset-Datenstrukturen. Quelle: plurigrid/asi.
Fakten (zitierbereit)
Stabile Felder und Befehle für KI/Such-Zitate.
- Installationsbefehl
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting- Quelle
- plurigrid/asi
- Kategorie
- {}Datenanalyse
- Verifiziert
- ✓
- Erstes Auftreten
- 2026-02-01
- Aktualisiert
- 2026-02-18
Schnelle Antworten
Was ist algebraic-rewriting?
Kategorietheoretisches Umschreiben von Diagrammen mit DPO-, SPO- und SqPO-Pushouts für C-Sets. Deklarative Transformation von Asset-Datenstrukturen. Quelle: plurigrid/asi.
Wie installiere ich algebraic-rewriting?
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor
Wo ist das Quell-Repository?
https://github.com/plurigrid/asi
Details
- Kategorie
- {}Datenanalyse
- Quelle
- skills.sh
- Erstes Auftreten
- 2026-02-01