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