category-master
✓Conocimiento de teoría de categorías de nivel experto para un razonamiento matemático riguroso. Úselo cuando trabaje con estructuras categóricas, functores, transformaciones naturales, adjunciones, límites, topos, categorías monoidales, categorías enriquecidas, categorías superiores, óperas o cualquier construcción categórica formal. Ideal para pruebas, secuencias de diagramas, propiedades universales, condiciones de coherencia y abstracciones matemáticas fundamentales.
Instalación
SKILL.md
Expert guidance for rigorous categorical reasoning, proofs, and constructions in pure mathematics.
Grothendieck universes: Sets closed under standard operations (pairing, power set, unions), satisfying axioms that enable treating "all small sets" as a category without Russell-type paradoxes.
Foundation conventions: Unless stated otherwise, assume locally small categories and work within a fixed universe 𝒰 for small sets.
Conocimiento de teoría de categorías de nivel experto para un razonamiento matemático riguroso. Úselo cuando trabaje con estructuras categóricas, functores, transformaciones naturales, adjunciones, límites, topos, categorías monoidales, categorías enriquecidas, categorías superiores, óperas o cualquier construcción categórica formal. Ideal para pruebas, secuencias de diagramas, propiedades universales, condiciones de coherencia y abstracciones matemáticas fundamentales. Fuente: manutej/crush-mcp-server.
Datos (listos para citar)
Campos y comandos estables para citas de IA/búsqueda.
- Comando de instalación
npx skills add https://github.com/manutej/crush-mcp-server --skill category-master- Fuente
- manutej/crush-mcp-server
- Categoría
- </>Desarrollo
- Verificado
- ✓
- Primera vez visto
- 2026-02-01
- Actualizado
- 2026-02-18
Respuestas rápidas
¿Qué es category-master?
Conocimiento de teoría de categorías de nivel experto para un razonamiento matemático riguroso. Úselo cuando trabaje con estructuras categóricas, functores, transformaciones naturales, adjunciones, límites, topos, categorías monoidales, categorías enriquecidas, categorías superiores, óperas o cualquier construcción categórica formal. Ideal para pruebas, secuencias de diagramas, propiedades universales, condiciones de coherencia y abstracciones matemáticas fundamentales. Fuente: manutej/crush-mcp-server.
¿Cómo instalo category-master?
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/manutej/crush-mcp-server --skill category-master 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/manutej/crush-mcp-server
Detalles
- Categoría
- </>Desarrollo
- Fuente
- skills.sh
- Primera vez visto
- 2026-02-01