algebraic-rewriting
✓Reescritura de gráficos de teoría de categorías con envíos de DPO, SPO y SqPO para C-Sets. Transformación declarativa de estructuras de datos de activos.
Instalación
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):
Reescritura de gráficos de teoría de categorías con envíos de DPO, SPO y SqPO para C-Sets. Transformación declarativa de estructuras de datos de activos. Fuente: plurigrid/asi.
Datos (listos para citar)
Campos y comandos estables para citas de IA/búsqueda.
- Comando de instalación
npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting- Fuente
- plurigrid/asi
- Categoría
- {}Análisis de Datos
- Verificado
- ✓
- Primera vez visto
- 2026-02-01
- Actualizado
- 2026-02-18
Respuestas rápidas
¿Qué es algebraic-rewriting?
Reescritura de gráficos de teoría de categorías con envíos de DPO, SPO y SqPO para C-Sets. Transformación declarativa de estructuras de datos de activos. Fuente: plurigrid/asi.
¿Cómo instalo algebraic-rewriting?
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/plurigrid/asi --skill algebraic-rewriting Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code o Cursor
¿Dónde está el repositorio de origen?
https://github.com/plurigrid/asi
Detalles
- Categoría
- {}Análisis de Datos
- Fuente
- skills.sh
- Primera vez visto
- 2026-02-01