algebraic-rewriting
✓Réécriture de graphiques de théorie des catégories avec pushouts DPO, SPO et SqPO pour les C-Sets. Transformation déclarative des structures de données acset.
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):
Réécriture de graphiques de théorie des catégories avec pushouts DPO, SPO et SqPO pour les C-Sets. Transformation déclarative des structures de données acset. Source : plurigrid/asi.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting- Source
- plurigrid/asi
- Catégorie
- {}Analyse de Données
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que algebraic-rewriting ?
Réécriture de graphiques de théorie des catégories avec pushouts DPO, SPO et SqPO pour les C-Sets. Transformation déclarative des structures de données acset. Source : plurigrid/asi.
Comment installer algebraic-rewriting ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Où se trouve le dépôt source ?
https://github.com/plurigrid/asi
Détails
- Catégorie
- {}Analyse de Données
- Source
- skills.sh
- Première apparition
- 2026-02-01