category-master
✓用於嚴格數學推理的專家級範疇論知識。在處理分類結構、函子、自然變換、附加物、限制、拓撲、么半群類別、豐富類別、更高類別、操作數或任何正式分類結構時使用。非常適合證明、圖表追踪、通用屬性、相干條件和基礎數學抽象。
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.
用於嚴格數學推理的專家級範疇論知識。在處理分類結構、函子、自然變換、附加物、限制、拓撲、么半群類別、豐富類別、更高類別、操作數或任何正式分類結構時使用。非常適合證明、圖表追踪、通用屬性、相干條件和基礎數學抽象。 來源：manutej/crush-mcp-server。
可引用資訊
為搜尋與 AI 引用準備的穩定欄位與指令。
- 安裝指令
npx skills add https://github.com/manutej/crush-mcp-server --skill category-master- 分類
- </>開發工具
- 認證
- ✓
- 收錄時間
- 2026-02-01
- 更新時間
- 2026-02-18
快速解答
什麼是 category-master？
用於嚴格數學推理的專家級範疇論知識。在處理分類結構、函子、自然變換、附加物、限制、拓撲、么半群類別、豐富類別、更高類別、操作數或任何正式分類結構時使用。非常適合證明、圖表追踪、通用屬性、相干條件和基礎數學抽象。 來源：manutej/crush-mcp-server。
如何安裝 category-master？
開啟你的終端機或命令列工具（如 Terminal、iTerm、Windows Terminal 等） 複製並執行以下指令：npx skills add https://github.com/manutej/crush-mcp-server --skill category-master 安裝完成後，技能將自動設定到你的 AI 程式設計環境中，可以在 Claude Code 或 Cursor 中使用
這個 Skill 的原始碼在哪？
https://github.com/manutej/crush-mcp-server
詳情
- 分類
- </>開發工具
- 來源
- skills.sh
- 收錄時間
- 2026-02-01