I would to learn what happens in a projection about universality. I searched in google and i found this: https://en.wikipedia.org/wiki/Projection_(mathematics)
Let's conside that we refer in $Set$ category or more specific in projetion of cartesian product.
The quick question is why these projections preserve universality??