あれ2026/1/15 5:04:00 っか、直積の普遍性ヤバすぎない?プログラミングで、同じ入力を受け取って、それぞれ別の値に変換する関数が2つあるときに、それを1つの関数にまとめてペアを返すようにする事があるけど、これの一意性って直積の普遍性が担保してたんか。あと、これの引数バージョンがカリー化ということか。— tdual(ティーデュアル)@MatrixFlow (@tdualdir) January 12, 2026 https://x.com/tdualdir/status/2010620555167494399