Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
5.11
\begin{equation} \label{equation:lifting-problem-for-cartesian-lift-uniqueness} \xymatrix@R =50pt@C=50pt{ \operatorname{\partial \Delta }^ n \ar [r] \ar [d] & Y \ar [d]^-{\theta } \\ \Delta ^ n \ar [r] \ar@ {-->}[r] & \operatorname{Fun}( \Delta ^1, S) \times _{ \operatorname{Fun}( \{ 1\} , S) } \operatorname{Fun}( \{ 1\} , X) } \end{equation}