·asi-polynomial-operads
</>
plurigrid/asiasi-polynomial-operads
✓多項式関手、自由モナド/共自由コモナドを統合する 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)$:
多項式関手、自由モナド/共自由コモナドを統合する 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 とは？
多項式関手、自由モナド/共自由コモナドを統合する 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 で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/plurigrid/asi
詳細
- カテゴリ
- </>開発ツール
- ソース
- skills.sh
- 初回登録
- 2026-02-01