A dual adjunction between categories $C$ and $D$ is an adjunction between the opposite category ${C}^{\mathrm{op}}$ of $C$ and $D$.