asi-polynomial-operads
✓Habilidad ASI que integra functores polinomiales, mónada libre/comonada colibre
Instalación
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)$:
Habilidad ASI que integra functores polinomiales, mónada libre/comonada colibre Fuente: plurigrid/asi.
Datos (listos para citar)
Campos y comandos estables para citas de IA/búsqueda.
- Comando de instalación
npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads- Fuente
- plurigrid/asi
- Categoría
- </>Desarrollo
- Verificado
- ✓
- Primera vez visto
- 2026-02-01
- Actualizado
- 2026-02-18
Respuestas rápidas
¿Qué es asi-polynomial-operads?
Habilidad ASI que integra functores polinomiales, mónada libre/comonada colibre Fuente: plurigrid/asi.
¿Cómo instalo asi-polynomial-operads?
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code o Cursor
¿Dónde está el repositorio de origen?
https://github.com/plurigrid/asi
Detalles
- Categoría
- </>Desarrollo
- Fuente
- skills.sh
- Primera vez visto
- 2026-02-01