Title: The double category of adjoint squares