redcat_math https://blog.hatena.ne.jp/redcat_math/ Red cat の数学よもやま話 https://redcat-math.hatenadiary.org/ 数学・その他 直積と直和 圏 の二つの対象 を固定します。 このとき が直積であるとは、任意の対象 と射 に対して を満たす射 が一意的に存在するときを言います。 またこのような一意的な射のことを と表します。 このような性質を満たす対象を と書いたりしますが、圏の世界では、この対象は一意には定まりません。あくまで同等を除いて一意*1でしかなく、特定の性質を満たす普遍的な存在なのです。しかし、このことは、「同等なものは同じとみなす」という、いわゆる分類学の観点に立てば、この性質はありがたいものです。 なお、圏 と圏 において、それぞれの集合論、および群論の意味での直積が、圏の意味でも直積の性質を満たしている… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fredcat-math.hatenadiary.org%2Fentry%2F20061019%2F1161191088" title="圏論への誘い(その 5) - Red cat の数学よもやま話" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/r/redcat_math/20130512/20130512124750.png Hatena Blog https://hatena.blog 2006-10-19 02:04:48 rich https://redcat-math.hatenadiary.org/entry/20061019/1161191088 1.0 100%