# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Warning 7.6.2.2. In the situation of Definition 7.6.2.1, the composition law

$\circ : \operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z) \times \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Z)$

is only well-defined up to homotopy. However, the requirement that it induces a homotopy equivalence $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(Y,Z) \rightarrow \operatorname{Fun}(K, \operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Z) )$ depends only on its homotopy class.