The double category of adjoint squares
1971 ◽
pp. 123-153
◽