category-master
✓Kategorientheorie-Wissen auf Expertenniveau für rigoroses mathematisches Denken. Wird verwendet, wenn Sie mit kategorialen Strukturen, Funktoren, natürlichen Transformationen, Adjunktionen, Grenzwerten, Toposen, monoidalen Kategorien, angereicherten Kategorien, höheren Kategorien, Operaden oder anderen formalen kategorialen Konstruktionen arbeiten. Ideal für Beweise, Diagrammverfolgungen, universelle Eigenschaften, Kohärenzbedingungen und grundlegende mathematische Abstraktionen.
Installation
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.
Kategorientheorie-Wissen auf Expertenniveau für rigoroses mathematisches Denken. Wird verwendet, wenn Sie mit kategorialen Strukturen, Funktoren, natürlichen Transformationen, Adjunktionen, Grenzwerten, Toposen, monoidalen Kategorien, angereicherten Kategorien, höheren Kategorien, Operaden oder anderen formalen kategorialen Konstruktionen arbeiten. Ideal für Beweise, Diagrammverfolgungen, universelle Eigenschaften, Kohärenzbedingungen und grundlegende mathematische Abstraktionen. Quelle: manutej/crush-mcp-server.
Fakten (zitierbereit)
Stabile Felder und Befehle für KI/Such-Zitate.
- Installationsbefehl
npx skills add https://github.com/manutej/crush-mcp-server --skill category-master- Quelle
- manutej/crush-mcp-server
- Kategorie
- </>Entwicklung
- Verifiziert
- ✓
- Erstes Auftreten
- 2026-02-01
- Aktualisiert
- 2026-02-18
Schnelle Antworten
Was ist category-master?
Kategorientheorie-Wissen auf Expertenniveau für rigoroses mathematisches Denken. Wird verwendet, wenn Sie mit kategorialen Strukturen, Funktoren, natürlichen Transformationen, Adjunktionen, Grenzwerten, Toposen, monoidalen Kategorien, angereicherten Kategorien, höheren Kategorien, Operaden oder anderen formalen kategorialen Konstruktionen arbeiten. Ideal für Beweise, Diagrammverfolgungen, universelle Eigenschaften, Kohärenzbedingungen und grundlegende mathematische Abstraktionen. Quelle: manutej/crush-mcp-server.
Wie installiere ich category-master?
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/manutej/crush-mcp-server --skill category-master Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor
Wo ist das Quell-Repository?
https://github.com/manutej/crush-mcp-server
Details
- Kategorie
- </>Entwicklung
- Quelle
- skills.sh
- Erstes Auftreten
- 2026-02-01