hmmm... in our discussion on saturday about "homotopy kernel as the total derived functor of kernel" (or something... and so forth... automatic blending together of limits and coliits at homotopy level...), alex and i may have accidentally come very close to solving our other problem... about how to categorify kaleidoscope reflections into reflection functors in the form of derived morita contexts... ??