/math/hs-adjunctions/