algebraic-rewriting
✓C-Set에 대한 DPO, SPO 및 SqPO 푸시아웃을 사용한 범주 이론 그래프 재작성. acset 데이터 구조의 선언적 변환.
SKILL.md
AlgebraicRewriting.jl is a Julia library for performing category-theoretic rewrites over C-Sets and other Catlab.jl data structures.
| DPO | Double Pushout | Safe deletion (no dangling edges) | | SPO | Single Pushout | Greedy deletion | | SqPO | Sesqui-Pushout | Cloning + deletion |
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
C-Set에 대한 DPO, SPO 및 SqPO 푸시아웃을 사용한 범주 이론 그래프 재작성. acset 데이터 구조의 선언적 변환. 출처: plurigrid/asi.
인용 가능한 정보
AI/검색 인용용 안정적인 필드와 명령어.
- 설치 명령어
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting- 카테고리
- {}데이터 분석
- 인증됨
- ✓
- 최초 등록
- 2026-02-01
- 업데이트
- 2026-02-18
빠른 답변
algebraic-rewriting이란?
C-Set에 대한 DPO, SPO 및 SqPO 푸시아웃을 사용한 범주 이론 그래프 재작성. acset 데이터 구조의 선언적 변환. 출처: plurigrid/asi.
algebraic-rewriting 설치 방법은?
터미널 또는 명령줄 도구(Terminal, iTerm, Windows Terminal 등)를 엽니다 이 명령어를 복사하여 실행합니다: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting 설치 후 스킬은 자동으로 AI 코딩 환경에 설정되어 Claude Code나 Cursor에서 사용할 수 있습니다
소스 저장소는 어디인가요?
https://github.com/plurigrid/asi
상세
- 카테고리
- {}데이터 분석
- 출처
- skills.sh
- 최초 등록
- 2026-02-01