topology/algebraic: finished statement of doldkan correspondence