For C and D two categories, the product category C×D is the category whose
objects are ordered pairs (c,d) with c an object of C and d an object of D;
morphisms are ordered pairs ((c→fc′),(d→gd′)),
composition of morphisms is defined componentwise by composition in C and D.
This operation is the cartesian product in the 1-category Cat.