MacLane, as well as probably any other category book, does not hesitate to define a product of two categories as a category consisting of pairs of objects, etc.

Now my question is: what law of nature or logic or anything allows to create such pairs?

I'd say that unlike in e.g. physics, in math you can define concepts into existence. Such concepts are abstract constructs; they don't have to follow from any law of nature.