Che cos'è algebraic-rewriting?
Riscrittura del grafico teorico delle categorie con pushout DPO, SPO e SqPO per C-Set. Trasformazione dichiarativa di strutture dati acset. Fonte: plurigrid/asi.
·algebraic-rewriting
{}
algebraic-rewriting
✓Riscrittura del grafico teorico delle categorie con pushout DPO, SPO e SqPO per C-Set. Trasformazione dichiarativa di strutture dati acset.
Installazione
Come installare algebraic-rewriting
Installa rapidamente la skill AI algebraic-rewriting nel tuo ambiente di sviluppo tramite riga di comando
- Apri il terminale: Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.)
- Esegui il comando di installazione: Copia ed esegui questo comando: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting
- Verifica l'installazione: Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
Fonte: plurigrid/asi.
SKILL.md
Visualizza rawAlgebraicRewriting.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):
Riscrittura del grafico teorico delle categorie con pushout DPO, SPO e SqPO per C-Set. Trasformazione dichiarativa di strutture dati acset. Fonte: plurigrid/asi.
Fatti (pronti per citazione)
Campi e comandi stabili per citazioni AI/ricerca.
- Comando di installazione
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting- Fonte
- plurigrid/asi
- Categoria
- {}Analisi
- Verificato
- ✓
- Prima apparizione
- 2026-02-01
- Aggiornato
- 2026-03-11
Risposte rapide
Come installo algebraic-rewriting?
Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
Dov'è il repository sorgente?
https://github.com/plurigrid/asi
Dettagli
- Categoria
- {}Analisi
- Fonte
- skills.sh
- Prima apparizione
- 2026-02-01