通りすがり 『「AxBとXはisom」の定義は「f:AxB→Xとg:X→AxBをどう選んでも逆射になってる」ではなく「f:AxB→Xとg:X→AxBをうまいこと選んでやると逆射になってる」ことだと思います。 Product と言うだけで存在が保証される射（X, AxB の間にどっち方向にも存…

"Category products of a given family of objects is unique up to isomorphism." 嘘ぉ。これどうなん? GIMP で矢印つき曲線の描き方がわからんので、超落描きスマソ。こういうきれいな図は何で書いてるのかな。 要するに AxB が「本物の」A, B の product …

family = indexed class (というか set?)

何か知らんけど今日は蚊を五匹も殺ったぞ。