Under which additional conditions $a\times b = c\times d \Rightarrow a=c\wedge b=d$ (where $\times$ is a categorical product)?
For example, in the case of Cartesian product, for this is enough when the factors are non-empty. Can this be generalized?
I'm also interested about the similar construction with infinite product.