TY - RPRT TI - Derived bi-duality via homotopy limit AU - Hiroyuki Minamoto PY - 2012 UR - https://arxiv.org/abs/1210.5582 ID - 1210.5582 ER -