I've been reading the following question about the universal property for an infinite cartesian product: Two Definitions of Infinite Cartesian Product
The thing is that the accepted answer proves that two sets verifying the universal property have bijections to each other, so this means, at least to my understanding, that both sets should have the same cardinality. Is this true? If so, that would mean that any set verifying the universal property have the very same cardinality (that is which one exactly?). I find this very strange, and I think I'm interpreting something wrong. Can you explain it to me?
Yes, if there is a bijection between two sets, then those two sets have the same cardinality (by definition). And so yes, all sets that satisfy a particular universal property will have the same cardinality. The purpose of a universal property is that it specifies exactly one set, up to bijections that preserve all the relevant structures.
Any cartesian product of particular sets satisfies the universal property for those sets. The universal property satisfied by $\{1\}\times\{1\}$ is not the same as the universal property satisfied by $\Bbb R\times\Bbb R$, for example.