acsets-relational-thinking
✓ACSets (Attributed C-Sets) pour la conception de bases de données catégorielles et la réécriture DPO
Installation
SKILL.md
Version: 2.0.0 Trit: 0 (ERGODIC) Domain: database, category-theory, rewriting Source: Topos Institute RelationalThinking Course + AlgebraicJulia
ACSets (Attributed C-Sets) are functors X: C → Set where C is a small category (schema). This skill integrates:
| STRUCTURAL | clj-kondo(-1) ⊗ acsets(0) ⊗ rama-gay(+1) | Schema validation → transport → generation | | TEMPORAL | three-match(-1) ⊗ unworld(0) ⊗ gay-mcp(+1) | Reduction → derivation → coloring | | STRATEGIC | proofgeneral(-1) ⊗ glass-bead(0) ⊗ rubato(+1) | Verification → hopping → composition |
ACSets (Attributed C-Sets) pour la conception de bases de données catégorielles et la réécriture DPO 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 acsets-relational-thinking- Source
- plurigrid/asi
- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que acsets-relational-thinking ?
ACSets (Attributed C-Sets) pour la conception de bases de données catégorielles et la réécriture DPO Source : plurigrid/asi.
Comment installer acsets-relational-thinking ?
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 acsets-relational-thinking 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
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-01