 Product in a category

A product of objects $(A_i)$ is a universal object equipped with projections to every $A_i$.