Kerodon

\begin{equation} \begin{gathered}\label{equation:contraction-compose-adjuncts} \xymatrix@R =50pt@C=50pt{ \operatorname{Hom}_{ \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(T,E)}( (f' \circ f) \circ c, e ) \ar [dd] \ar [r]_{\sim }^{\alpha _{f',f,c}} & \operatorname{Hom}_{ \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(T,E)}( f' \circ (f \circ c), e ) \ar [d] \\ & \operatorname{Hom}_{ \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(T,D)}( f \circ c, g' \circ e ) \ar [d] \\ \operatorname{Hom}_{ \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(T,C)}( c, (g \circ g') \circ e ) \ar [r]^-{\alpha _{g,g',e}}_{\sim } & \operatorname{Hom}_{ \underline{\operatorname{Hom}}_{\operatorname{\mathcal{C}}}(T,C)}( c, g \circ (g' \circ e) ) } \end{gathered} \end{equation}