The 2-dialectica construction