Definition:Product (Category Theory)

Also see

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