·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