Что такое algebraic-rewriting?
Теоретико-категорное переписывание графов с добавлением DPO, SPO и SqPO для C-множеств. Декларативное преобразование структур данных acset. Источник: plurigrid/asi.
Теоретико-категорное переписывание графов с добавлением DPO, SPO и SqPO для C-множеств. Декларативное преобразование структур данных acset.
Быстро установите AI-навык algebraic-rewriting в вашу среду разработки через командную строку
Источник: plurigrid/asi.
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):
Теоретико-категорное переписывание графов с добавлением DPO, SPO и SqPO для C-множеств. Декларативное преобразование структур данных acset. Источник: plurigrid/asi.
Стабильные поля и команды для ссылок в AI/поиске.
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewritingТеоретико-категорное переписывание графов с добавлением DPO, SPO и SqPO для C-множеств. Декларативное преобразование структур данных acset. Источник: plurigrid/asi.
Откройте терминал или инструмент командной строки (Terminal, iTerm, Windows Terminal и т.д.) Скопируйте и выполните эту команду: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting После установки навык будет автоматически настроен в вашей AI-среде разработки и готов к использованию в Claude Code, Cursor или OpenClaw
https://github.com/plurigrid/asi