Exercise 1.3.6. Show that (co)products of \(\infty \)-categories are associative, commutative and unital: \[ C \times D \iso D \times C, \qquad (C \times D) \times E \iso C \times (D \times E), \qquad C \times * \iso C \iso * \times C, \] and \[ C \sqcup D \iso D \sqcup C, \qquad (C \sqcup D) \sqcup E \iso C \sqcup (D \sqcup E), \qquad \emptyset \sqcup C \iso C \iso C \sqcup \emptyset . \]
Generated from the authoritative LaTeX source.