集合の圏
数学の一分野である圏論において、集合の圏（しゅうごうのけん、英: category of sets）Set (あるいは S e t s {\displaystyle {\mathcal {Sets}}} などとも書く) は、その対象の成す類が集合全体の成す類であるような圏である。 ただし、対象の間の射の類は、集合 A, B に対して f: A → B を任意の写像とするとき、(f, A, B) の形に書ける三つ組全体の成す集合によって与えられる。
数学の一分野である圏論において、集合の圏（しゅうごうのけん、英: category of sets）Set (あるいは S e t s {\displaystyle {\mathcal {Sets}}} などとも書く) は、その対象の成す類が集合全体の成す類であるような圏である。 ただし、対象の間の射の類は、集合 A, B に対して f: A → B を任意の写像とするとき、(f, A, B) の形に書ける三つ組全体の成す集合によって与えられる。
数学の一分野である圏論において、集合の圏（しゅうごうのけん、英: category of sets）Set (あるいは S e t s {\displaystyle {\mathcal {Sets}}} などとも書く) は、その対象の成す類が集合全体の成す類であるような圏である。 ただし、対象の間の射の類は、集合 A, B に対して f: A → B を任意の写像とするとき、(f, A, B) の形に書ける三つ組全体の成す集合によって与えられる。
出典: Wikipedia「集合の圏」 · CC BY-SA 4.0
この記事を共有: X · Bluesky