Kerodon

\begin{eqnarray} \label{equation:distributive-law-categorified} (X \times Y) \coprod (X \times Z) & \xrightarrow {\sim } & X \times (Y \coprod Z ), \end{eqnarray}