集合圏
数学の一分野である圏論において、集合の圏（しゅうごうのけん、英: category of sets）Set (あるいは $ {\displaystyle {\mathcal {Sets}}} などとも書く) は、その対象の成す類が集合全体の成す類であるような圏である。ただし、対象の間の射の類は、集合 A, B に対して f: A → B を任意の写像とするとき、(f, A, B) の形に書ける三つ組全体の成す集合によって与えられる。 対象の類: $ {\rm Ob(Set)} ≔ {集合},
射の集合: $ {\rm Mor_{Set}}(A, B) = Hom(A, B) ≔ {(f, A, B) | f: A → B は写像} (A, B ∈ Ob(Set)),
射の合成: f, g ∈ Hom(A, B) の合成 g ∘ f は写像の定義の合成 他に多くの具体圏（英語版）と呼ばれる圏（例えば 群の圏（対象は群で、射は群準同型）など）は、集合の圏の対象に構造を加えたものを対象とし、射は特定の種類の写像に制限したものを考えることによって与えられる。