jun0 https://blog.hatena.ne.jp/jun0/ 丼日記 https://jun0.hatenadiary.org/ haskell 数学 圏論 "Category products of a given family of objects is unique up to isomorphism." 嘘ぉ。これどうなん? GIMP で矢印つき曲線の描き方がわからんので、超落描きスマソ。こういうきれいな図は何で書いてるのかな。 要するに AxB が「本物の」A, B の product で、a, b が射影射 (…なんて言うのか? Projection morphism を直訳してみた)。で、X も product の条件を満たしている、と。そこで X, AxB の間にはどっち方向にも射が存在しなくてはならないので、それが f, g。 追… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjun0.hatenadiary.org%2Fentry%2F20060813%2F1155409474" title=" Category product ←まだこんなところだったりする - 丼日記" 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/j/jun0/20060813/20060813034651.png Hatena Blog https://hatena.blog 2006-08-13 04:04:34 rich https://jun0.hatenadiary.org/entry/20060813/1155409474 1.0 100%