·asi-polynomial-operads
</>
plurigrid/asiasi-polynomial-operads
✓集成多项式函子、free monad/cofree comonad 的 ASI 技能
4安装·0热度·@plurigrid
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)$:
集成多项式函子、free monad/cofree comonad 的 ASI 技能 来源：plurigrid/asi。
可引用信息
为搜索与 AI 引用准备的稳定字段与命令。
- 安装命令
npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads- 分类
- </>开发工具
- 认证
- ✓
- 收录时间
- 2026-02-01
- 更新时间
- 2026-02-18
快速解答
什么是 asi-polynomial-operads？
集成多项式函子、free monad/cofree comonad 的 ASI 技能 来源：plurigrid/asi。
如何安装 asi-polynomial-operads？
打开你的终端或命令行工具（如 Terminal、iTerm、Windows Terminal 等） 复制并运行以下命令：npx skills add https://github.com/plurigrid/asi --skill asi-polynomial-operads 安装完成后，技能将自动配置到你的 AI 编程环境中，可以在 Claude Code 或 Cursor 中使用
这个 Skill 的源码在哪？
https://github.com/plurigrid/asi
详情
- 分类
- </>开发工具
- 来源
- skills.sh
- 收录时间
- 2026-02-01