Are the above two terms synonyms? Because for example here they seem to explain it like so. But then I don't get the following part:
Direct products satisfy the property that, given maps $\alpha:S \to A$ and $\beta:S \to B$, there exists a unique map $S \to A×B$ given by $(\alpha(s),\beta(s))$.
Can anyone explain what is meant by this?