Exercise 1.3.22. Given \(\infty \)-categories \(C\), \(D\) and \(E\), construct a composition functor \[ - \circ -\colon \Fun (D,E) \times \Fun (C,D) \to \Fun (C,E). \] Show that it reduces to the functors \(g \circ -\) and \(- \circ f\) when fixing one of the two variables.
Generated from the authoritative LaTeX source.