asi-polynomial-operads
✓Compétence ASI intégrant des foncteurs polynomiaux, monade libre/comonade colibre
Installation
SKILL.md
"Pattern runs on matter: The free monad monad as a module over the cofree comonad comonad" — Libkind & Spivak (ACT 2024)
Core Definition A polynomial functor $p: \text{Set} \to \text{Set}$ is a sum of representables:
Morphisms (Dependent Lenses) A lens $f: p \to q$ is a pair $(f1, f^\sharp)$:
Compétence ASI intégrant des foncteurs polynomiaux, monade libre/comonade colibre 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 asi-polynomial-operads- 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 asi-polynomial-operads ?
Compétence ASI intégrant des foncteurs polynomiaux, monade libre/comonade colibre Source : plurigrid/asi.
Comment installer asi-polynomial-operads ?
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 asi-polynomial-operads 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