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)