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.

Connaissances théoriques des catégories de niveau expert pour un raisonnement mathématique rigoureux. À utiliser lorsque vous travaillez avec des structures catégorielles, des foncteurs, des transformations naturelles, des adjonctions, des limites, des toposes, des catégories monoïdales, des catégories enrichies, des catégories supérieures, des opérades ou toute construction catégorielle formelle. Idéal pour les preuves, les poursuites de diagrammes, les propriétés universelles, les conditions de cohérence et les abstractions mathématiques fondamentales. Source : manutej/crush-mcp-server.

Voir l'original