# Kerodon

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

Exercise 8.1.5.3. Show that Construction 8.1.5.2 is well-defined. That is, given a functor $F: \operatorname{Tw}(\operatorname{\mathcal{A}}) \rightarrow \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(X,Y)$ as in Construction 8.1.5.2, show that there is a unique strictly unitary lax functor $U_{F}$ satisfying properties $(1)$, $(2)$, and $(3)$ of Construction 8.1.5.2.