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 で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/manutej/crush-mcp-server
詳細
- カテゴリ
- </>開発ツール
- ソース
- skills.sh
- 初回登録
- 2026-02-01