Definition:Product (Category Theory)

Also see

 * Definition:Coproduct, the dual notion
 * Product (Category Theory) is Unique