asi-polynomial-operads
✓ASI skill integrating polynomial functors, free monad/cofree comonad
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)$:
ASI skill integrating polynomial functors, free monad/cofree comonad Source: plurigrid/asi.
Facts (cite-ready)
Stable fields and commands for AI/search citations.
- Install command
npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads- Source
- plurigrid/asi
- Category
- </>Dev Tools
- Verified
- ✓
- First Seen
- 2026-02-01
- Updated
- 2026-02-18
Quick answers
What is asi-polynomial-operads?
ASI skill integrating polynomial functors, free monad/cofree comonad Source: plurigrid/asi.
How do I install asi-polynomial-operads?
Open your terminal or command line tool (Terminal, iTerm, Windows Terminal, etc.) Copy and run this command: npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads Once installed, the skill will be automatically configured in your AI coding environment and ready to use in Claude Code or Cursor
Where is the source repository?
https://github.com/plurigrid/asi
Details
- Category
- </>Dev Tools
- Source
- skills.sh
- First Seen
- 2026-02-01