Given categories $\mathrm{𝒞︀}$ and $\mathrm{𝒟︀}$, $\mathrm{𝒞︀}\times \mathrm{𝒟︀}$ is equivalent to the total category of weakening.