1. What are the identity morphisms in a product category \$$\mathcal{C} \times \mathcal{D} \$$?
2. Why is composition in a product category associative?
3. What is the product category \$$\textbf{1} \times \textbf{2} \$$?
4. What is the product category \$$P \times Q \$$ when \$$P\$$ and \$$Q\$$ are preorders?

[Previous](https://forum.azimuthproject.org/discussion/2162)
[Next](https://forum.azimuthproject.org/discussion/2164)