Product in a category (source code)

= Product in a category
{title2=$\prod$}
{wiki=Product_(category_theory)}

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