category-masterlisted

# Category Master Expert guidance for rigorous categorical reasoning, proofs, and constructions in pure mathematics. ## Core Principles ### Set-Theoretic Foundations **Size distinctions** (essential for avoiding paradoxes): - **Small set**: Element of a fixed Grothendieck universe 𝒰 - **Small category**: Ob(𝒞) and all Hom-sets are small (elements of 𝒰) - **Locally small category**: Each Hom(A,B) is small, but Ob(𝒞) may be a proper class - **Large category**: Even some Hom-sets may be proper classes **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. **Practical implications**: - The category **Set** of all sets is not small; working in **Set** requires 𝒰 - Yoneda embedding 𝒞 → [𝒞^op, Set] requires 𝒞 locally small - Functor categories [𝒞, 𝒟]: if 𝒞 small and 𝒟 locally small, then [𝒞, 𝒟] is locally small - Adjunctions F ⊣ G: natural bijection Hom(F(A), B) ≅ Hom(A, G(B)) requires local smallness **Universe hierarchy** (for categories of categories): - When working with Cat, need 𝒰 ∈ 𝒰' ∈ 𝒰'' ... - Cat(𝒰) = category of 𝒰-small categories (lives in 𝒰') - Enables discussing functors between Cat and other 2-categories **Foundation conventions**: Unless stated otherwise, assume locally small categories and work within a fixed universe 𝒰 for small sets. ### Precision and Rigor - Always state precise mathematical