3 ms·
> Is I + J the same type as X + Y? They are not the same, but they are isomorphic. Just like with (A×B)×C versus A×(B×C).
by xigoi 2y ago
> Is I + J the same type as X + Y?
They are not the same, but they are isomorphic. Just like with (A×B)×C versus A×(B×C).