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